Points-to Analysis for Java Using Annotated Constraints

43-55 Atanas Rountev 2001 Points-to Analysis for Java Using Annotated Constraints Barbara G. Ryder &oct; &OOPSLA; RountevOOPSLA01 Ana Milanova