L. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, 1(1):35--47, January 1990. 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)
Automatic Pool Allocation for Disjoint Data Structures - Lattner, Adve (2002) (1 citation) (Correct)
Interprocedural Shape Analysis - Rinetzky (Correct)
Interprocedural Shape Analysis - Rinetzky (Correct)
Interprocedural Shape Analysis for Recursive Programs - Rinetzky, Sagiv (2001) (3 citations) (Correct)
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
A Static Heap Analysis for Shape and Connectivity - Unified Memory Analysis (Correct)
Automated Verification of the Deutsch-Schorr-Waite - Tree-Traversal Algorithm Alexey (Correct)
Simulating Reachability using First-Order Logic - With Applications To (Correct)
A Decidable Logic - For Describing Linked (Correct)
A Decidable Logic - For Describing Linked (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
Verification Via Structure Simulation - Immerman, Rabinovich, Reps.. (2004) (1 citation) (Correct)
Connectivity-Based Garbage Collection - Hirzel (2004) (2 citations) (Correct)
Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (1 citation) (Correct)
On the Specialization of Online Program Specializers - Ruf, Weise (1992) (7 citations) (Correct)
Shape Analysis - Wilhelm, Sagiv, Reps (2000) (11 citations) (Correct)
Shape Analysis - Wilhelm, Sagiv, Reps (2000) (11 citations) (Correct)
Verification via Structure Simulation - Immerman, Rabinovich, Reps.. (2004) (1 citation) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
Points-to Analysis for Java with Applications to Loop - Optimizations Peng Wu (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) (Correct)
the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
Context-Sensitive Interprocedural Points-to Analysis in.. - Emami, Ghiya, Hendren (1994) (220 citations) Self-citation (Hendren) (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