Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Paper
Efficiently Computing Static Single Assignment form and the Control Dependence Graph
Abstract
Click link to view paper
Related
Conference paper
Linear cost is sometimes quadratic
Barry K. Rosen
POPL 1981
Conference paper
Automatic discovery of parallelism: A tool and an experiment
Michael Burke, Ron Cytron, et al.
PPEALS 1988
Conference paper
Automatic construction of sparse data flow evaluation graphs
Jong-Deok Choi, Ron Cytron, et al.
POPL 1991