Points-To Analysis for Java using Annotated Constraints.

Atanas Rountev, Ana L. Milanova, Barbara G. Ryder

Browse the full OOPSLA paper archive.