Code Annotation for Safe and Efficient Dynamic Object Resolution (2003)

Cached

Download Links

by Andreas Hartmann , Wolfram Amme , Jeffery Von Ronne , Michael Franz
Citations:10 - 7 self

Active Bibliography

Efficient and Verifiable Program Annotation for the Transport of Escape Information – A. Hartmann, W. Amme, J. Von Ronne - 2006
3 Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation – Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz - 2002
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
401 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
335 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
14 Pointer Analysis and its Applications for Java Programs – Alexandru D. Salcianu - 2001
101 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
Pointer Analysis and its Applications for Java Programs (Electronic Version) – unknown authors - 2001