A Foundation of Escape Analysis (2002)

Cached

Download Links

by Patricia M. Hill , Fausto Spoto
Venue:Proc. of AMAST'02
Citations:5 - 2 self

Documents Related by Co-Citation

1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
248 Fast static analysis of C++ virtual function calls – David F. Bacon, Peter F. Sweeney - 1996
223 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
536 A lattice-theoretical fixpoint theorem and its applications – Alfred Tarski - 1955
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
1266 The C Programming Language – Dennis M. Ritchie - 1988
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998