Documents Related by Co-Citation

194 Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C – R Ghiya, L Hendren - 1996
229 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
160 Detecting conflicts between structure accesses – J R Larus, P N Hilfinger - 1988
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
220 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
161 Detecting Parallelism in C Programs with Recursive Data Structures – Rakesh Ghiya, Laurie Hendren, Yingchun Zhu - 1998
37 The Pointer Assertion Logic Engine – A Moeller, M I Schwartzbach - 2001
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
199 Flow analysis and optimization of LISPlike structures – N D Jones, S S Muchnick - 1979
144 Dependence analysis for pointer variables – S Horwitz, P Pfieffer, T Reps - 1989
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
126 Context-Insensitive Alias Analysis Reconsidered – Erik Ruf, Erik Ruf - 1995
131 On the syntactic control of interference – J Reynolds - 1978
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000