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

Active Bibliography

Compositional Pointer and Escape Analysis for Java Programs – unknown authors
Compositional Pointer and Escape . . . – John Whaley, et al.
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – Martin Rinard, John Whaley - 1999
14 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina - 2002
21 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
ABSTRACT SUMMARY-BASED POINTER ANALYSIS FRAMEWORK FOR MODULAR BUG FINDING – Marcio O. Buss, Marcio O. Buss - 2007
134 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
13 Omen: A strategy for testing object-oriented software – Amie L. Souter - 2000