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

by A Rountev, A Milanova, B Ryder
Venue:In OOPSLA