Symbolic Evaluation and The Global Value Graph (1977)

by J H Reif, H R Lewis
Venue:In Symposium on Principles of Programming Languages (POPL