Barry K. Rosen
CACM
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989