Formalization of phase ordering

Tiago Cogumbreiro; Jun Shirako; Vivek Sarkar

doi:10.4204/EPTCS.211.2

Formalization of phase ordering

Tiago Cogumbreiro
, Jun Shirako
, Vivek Sarkar

Computer Science

Rice University

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	13-24
Number of pages	12
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	211
DOIs	https://doi.org/10.4204/EPTCS.211.2
State	Published - Jun 17 2016
Event	9th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016 - Eindhoven, Netherlands Duration: Apr 8 2016 → …

ASJC Scopus Subject Areas

Software

Access to Document

10.4204/EPTCS.211.2

Cite this

@article{218c1c6a086e4ed685cf8c64a4f85fe0,

title = "Formalization of phase ordering",

author = "Tiago Cogumbreiro and Jun Shirako and Vivek Sarkar",

note = "Publisher Copyright: {\textcopyright} T. Cogumbreiro, J. Shirako, V. Sarkar.; 9th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016 ; Conference date: 08-04-2016",

year = "2016",

month = jun,

day = "17",

doi = "10.4204/EPTCS.211.2",

language = "English",

volume = "211",

pages = "13--24",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Formalization of phase ordering

AU - Cogumbreiro, Tiago

AU - Shirako, Jun

AU - Sarkar, Vivek

N1 - Publisher Copyright: © T. Cogumbreiro, J. Shirako, V. Sarkar.

PY - 2016/6/17

Y1 - 2016/6/17

UR - https://www.scopus.com/pages/publications/84991728800

UR - https://www.scopus.com/pages/publications/84991728800#tab=citedBy

U2 - 10.4204/EPTCS.211.2

DO - 10.4204/EPTCS.211.2

M3 - Conference article

AN - SCOPUS:84991728800

SN - 2075-2180

VL - 211

SP - 13

EP - 24

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 9th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016

Y2 - 8 April 2016

ER -

Formalization of phase ordering

ASJC Scopus Subject Areas

Access to Document

Other files and links

Fingerprint

Cite this