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

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Citations:105 - 27 self