Symbolic Evaluation and the Global Value Graph.

John H. Reif, Harry R. Lewis

Browse the full POPL paper archive.