Abstract Execution: A Technique for E ciently Tracing Programs (0)

by J R Larus
Venue:SPE