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

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

Active Bibliography

21 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages – Dr. Barbara, Barbara G. Ryder - 2003
113 Parameterized Object Sensitivity for Points-to Analysis for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
DATAFLOW ANALYSIS OF SOFTWARE FRAGMENTS BY ATANAS ROUNTEV – Barbara Gershon Ryder, Atanas Rountev - 2002
Context Sensitivity for Points-to Analysis Using Annotated Inclusion Constraints – Ana Milanova, Barbara G. Ryder
75 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
15 Fast online pointer analysis – Martin Hirzel, Daniel Von Dincklage, Amer Diwan, Michael Hind - 2005
27 Pointer analysis in the presence of dynamic class loading – Martin Hirzel, Amer Diwan, Michael Hind - 2004