Documents Related by Co-Citation

295 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
401 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
265 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
385 Zadeck. Analysis of pointers and structures – David R Chase, Mark Wegman, F Kenneth - 1990
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
235 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994