Documents Related by Co-Citation

178 Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c – Rakesh Ghiya, Laurie J Hendren - 1996
360 Analysis of pointers and structures – D R CHASE, M WEGMAN, F K ZADECK - 1990
211 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
375 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
152 Detecting conflicts between structure accesses – J R Larus, P N Hilfinger - 1988
312 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
209 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
359 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
154 Detecting Parallelism in C Programs with Recursive Data Structures – Rakesh Ghiya, Laurie Hendren, Yingchun Zhu - 1998
477 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
35 The pointer assertion logic engine – A Moeller, M I Schwartzbach - 2001
273 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
134 Dependence analysis for pointer variables – S Horwitz, P Pfeiffer, T W Reps - 1989
186 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
488 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
119 Graph Types – Nils Klarlund , Michael I. Schwartzbach - 1993
125 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
472 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
143 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997