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

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Citations:101 - 26 self