Compositional Pointer and Escape Analysis for Java Programs (1999)

by John Whaley , Martin Rinard
Venue:In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
Citations:259 - 26 self

Documents Related by Co-Citation

294 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
577 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
610 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
2240 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
1749 The Java language specification – J Gosling, B Joy, G Steele, G Bracha - 2005
123 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
438 Interprocedural dataflow analysis via graph reachability – Thomas Reps, Susan Horwitz, Mooly Sagiv - 1994
427 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
604 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002