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

by Atanas Rountev, Ana Milanova, Barbara G Ryder
Venue:In OOPSLA