Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Conference paper
Monoids for rapid data flow analysis
Abstract
No abstract available.
Related
Barry K. Rosen
IEEE TSE
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Conference paper
Linear cost is sometimes quadratic
Barry K. Rosen
POPL 1981