Abstract execution: A technique for efficiently tracing programs (1990)

by J Larus
Venue:Software - Practice and Experience (SPE