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


Download Links

by Bruno Blanchet
Venue:In Conference Record of the 25th Annual ACM Symposium on Principles of Programming Languages
Citations:64 - 3 self

Documents Related by Co-Citation

93 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup - 1996
278 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
61 Escape analysis on lists – Young Gil Park, Benjamin Goldberg - 1992
38 On the complexity of escape analysis – A DEUTSCH - 1997
2004 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
667 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
553 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000