Points-to Analysis for Java Using Annotated Inclusion Constraints (2000)

Cached

Download Links

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Venue:Rutgers University Department of Computer Science
Citations:7 - 5 self

Documents Related by Co-Citation

527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
388 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
401 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
331 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
193 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
1089 Java virtual machine specification – Tim Lindholm, Frank Yellin
113 Partial Online Cycle Elimination in Inclusion Constraint Graphs – Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken - 1998