Points-to Analysis for Java Using Annotated Constraints

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