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:232 - 28 self

Documents Related by Co-Citation

263 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
517 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
122 Effective synchronization removal for Java – E Ruf - 2000
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
117 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
1890 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1076 The Java virtual machine specification – T Lindholm, F Yellin - 1996
293 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998