L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Barry K. Rosen
Journal of the ACM
Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978