S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. SIGPLAN Notices, 24(7):28--40, July 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001) (26 citations) (Correct)
Results from a Large-Scale Study of Performance Optimization.. - Binkley, Harman (2003) (Correct)
Dependence-Cache Slicing: A Program Slicing Method Using.. - Takada, Ohata, Inoue (1 citation) (Correct)
Context-Sensitive Interprocedural Points-to Analysis in.. - Emami, Ghiya, Hendren (1994) (220 citations) (Correct)
Points-to Analysis for Program Understanding - Fiutem, Tonella, Antoniol, Merlo (1997) (1 citation) (Correct)
Impact of Function Pointers on the Call Graph - Antoniol, Calzolari, Tonella (1999) (4 citations) (Correct)
Variable Precision Reaching Definitions Analysis for .. - Tonella, Antoniol.. (1999) (4 citations) (Correct)
Variable Precision Reaching Definitions Analysis - Tonella, Antoniol, Fiutem.. (1999) (4 citations) (Correct)
A Schema for Interprocedural Modification.. - Ryder, Landi.. (2001) (3 citations) (Correct)
On the Practical Static Checker of Semantic Run-time Errors - Shelekhov, Kuksenko (Correct)
Semantic Analysis of Straight Line C Code with Pointers - David (1992) (1 citation) (Correct)
Efficiently Computing Static Single Assignment.. - Cytron, Ferrante, .. (1991) (404 citations) (Correct)
Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (3 citations) (Correct)
Program Decomposition for Pointer Aliasing: A Step toward.. - Zhang, Ryder, Landi (1996) (23 citations) (Correct)
Applying Traversal-Pattern-Sensitive Pointer Analysis to.. - Hwang, Saltz (1997) (Correct)
Semantic Analysis for Parallelizing C - David (1992) (1 citation) (Correct)
Analysis of Dynamic Structures for Efficient Parallel.. - Plevyak, Karamcheti, Chien (1993) (24 citations) (Correct)
Interprocedural Pointer Alias Analysis - Burke, Carini, Choi (1997) (3 citations) (Correct)
Integrating Scalar Analyses And Optimizations In A Parallelizing.. - Zheng (2000) (4 citations) (Correct)
Optimization of Pointer-Intensive Programs - Bacon (Correct)
Interprocedural Pointer Alias Analysis - Hind, Burke, Carini, Choi (1999) (8 citations) (Correct)
Interprocedural Heap Analysis for Parallelizing Imperative.. - Aßmann, Weinhardt (1993) (Correct)
Connection Analysis: A Practical Interprocedural Heap Analysis.. - Ghiya, al. (1995) (42 citations) (Correct)
An Improved Intra-procedural May-alias Analysis Algorithm - Goyal (1999) (2 citations) (Correct)
Evaluating The Effectiveness of Pointer Alias Analyses - Hind, Pioli (1999) (6 citations) (Correct)
Incremental Analysis For Flow- And Context-Sensitive Data-Flow.. - Yur (1999) (Correct)
New shape analysis techniques for automatic.. - Corbera, Asenjo, Zapata (1999) (5 citations) (Correct)
Practical Techniques For Interprocedural Heap Analysis - Ghiya (1996) (7 citations) (Correct)
Data Flow Analysis for Reverse Engineering - University Of Amsterdam (Correct)
A New Foundation for Control-Dependence and.. - Ranganath.. (2005) (1 citation) (Correct)
Type Inference in the Icon Programming Language* - Kenneth Walker And (Correct)
A Survey of Empirical Results on Program Slicing - David Binkley Mark (Correct)
the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
Chapter 1 Program Integration - Program Integration Concerns (Correct)
An Integrated Software Maintenance Environment (Renewal Proposal) - Livadas (1994) (Correct)
An Integrated Software Maintenance Environment - Livadas (Correct)
Undecidability of Static Analysis - Landi (1992) (15 citations) (Correct)
Static Slicing of JAVA Programs - Kovács, Magyar.. (1996) (Correct)
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas Self-citation (Reps) (Correct)
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept Self-citation (Reps) (Correct)
A Decidable Logic - For Describing Linked Self-citation (Reps) (Correct)
Shape Analysis - Wilhelm, Sagiv, Reps (2000) (11 citations) Self-citation (Reps) (Correct)
The Use of Program Dependence Graphs in Software Engineering - Susan Horwitz And (1992) (6 citations) Self-citation (Horwitz Reps) (Correct)
Demonstration Of A Prototype Tool For Program.. - University Of.. Self-citation (Reps) (Correct)
Interprocedural Slicing Using Dependence Graphs - Horwitz, Reps, Binkley (1990) (325 citations) Self-citation (Horwitz Reps) (Correct)
Interprocedural Shape Analysis - Rinetzky Self-citation (Reps) (Correct)
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (109 citations) Self-citation (Reps) (Correct)
Solving Shape-Analysis Problems in Languages with.. - Sagiv, Reps, Wilhelm (1996) (162 citations) Self-citation (Reps) (Correct)
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (109 citations) Self-citation (Reps) (Correct)
Solving Shape-Analysis Problems in Languages with.. - Sagiv, Reps, Wilhelm (1996) (162 citations) Self-citation (Reps) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC