Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Barry K. Rosen
Acta Informatica
Conference paper
Global value numbers and redundant computations
Barry K. Rosen, Mark N. Wegman, et al.
POPL 1988
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989