Points-to Analysis for Java Using Annotated Constraints (2001)

by Atanas Rountev, Ana Milanova, Barbara G. Ryder