TY  - RPRT
TI  - Formalization of Phase Ordering
AU  - Tiago Cogumbreiro
AU  - Jun Shirako
AU  - Vivek Sarkar
PY  - 2016
DO  - 10.4204/eptcs.211.2
UR  - https://arxiv.org/abs/1606.05937
ID  - 1606.05937
ER  -