Symbolic evaluation and the global value graph (1977)

by J H Reif, H R Lewis
Venue:In Principles of programming languages (POPL