Points-to analysis for Java using annotated constraints (2001)

by Atanas Rountev, Ana Milanova, Barbara G Ryder
Venue:In Proceedings of the 16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA