Points-to Analysis in Almost Linear Time (1996)

by Bjarne Steensgaard
Citations:518 - 2 self

Documents Related by Co-Citation

526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
385 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
148 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
394 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
324 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
191 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
244 Fast static analysis of C++ virtual function calls – D BACON, P SWEENEY - 1996
221 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
112 Partial Online Cycle Elimination in Inclusion Constraint Graphs – Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken - 1998
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
194 Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C – R Ghiya, L J Hendren - 1996
218 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
107 Optimizing Java Bytecode using the Soot Framework: Is it Feasible? – Raja Vallee-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan - 2000
297 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
68 Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers – Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
68 Polymorphic versus monomorphic flow-insensitive points-to analysis for C – Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken - 2000
213 Efficient Detection of All Pointer and Array Access Errors – Todd M. Austin, Scott E. Breach, Gurindar S. Sohi - 1994
43 Constraint-Based Type Inference and Parametric Polymorphism – Ole Agesen - 1994