Abstract Execution: A Technique for Efficiently Tracing Programs (1990)

by James R Larus
Venue:Software Practice & Experience