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