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

91 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup - 1996
265 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
60 Escape analysis on lists – Y G PARK, B GOLDBERG - 1992
38 On the complexity of escape analysis – A DEUTSCH - 1997
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
645 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
855 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
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996