Conference paper
SUMMARIZING GRAPHS BY REGULAR EXPRESSIONS.
Mark N. Wegman
POPL 1983
Conference paper
Global value numbers and redundant computations
Abstract
Click link to view paper
Related
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Michael D. Monkowski, Richard A. Wachnik, et al.
IEEE Transactions on Electron Devices
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972