Escape Analysis: Correctness Proof, Implementation and Experimental Results (1998)

by Bruno Blanchet
Venue:In Conference Record of the 25th Annual ACM Symposium on Principles of Programming Languages