CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
B. Blanchet, "Escape Analysis: Correctness, Proof, Implementation and Experimental Results," Proc. of the 25th Annual ACM Symposium on Principles of Programming Languages, pages 25-37, San Diego, CA, January 1998.