Zeev Barzilai, J. Lawrence Carter, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Conference paper
Global value numbers and redundant computations
Barry K. Rosen, Mark N. Wegman, et al.
POPL 1988
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972