Points-to Analysis for Java Using Annotated Inclusion Constraints (2000)

by Atanas Rountev, Ana Milanova, Barbara G. Ryder
Venue:Rutgers University Department of Computer Science