Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96), pages 1--15, St. Petersburg, Florida, January 21--24, 1996. ACM Press. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Dynamic Graph-Based Software Watermarking - Collberg, Thomborson, Townsend (2004) (1 citation) Self-citation (Graph) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL'96, pages 1--15, St. Petersburg Beach, Florida, 21--24 January 1996.
Semantics-based Program Analysis via - Symbolic Composition Of (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96), pages 1--15, St. Petersburg, Florida, January 21--24, 1996. ACM Press.
A Static Heap Analysis for Shape and Connectivity - Unified Memory Analysis (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL, 1996.
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C. In Proceedings of the 23rd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 1-15, 1996.
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (Correct)
No context found.
Rakesh Ghiya and L. J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In ACM Symposium on Principles of Programming Languages (POPL '96), pages 1--15, 1996.
Generalized Typestate Checking Using Set Interfaces and.. - Patrick Lam Viktor (2004) (Correct)
No context found.
R. Ghiya and L. Hendren. Is it a tree, a DAG or a cyclic graph? a shape analysis for heap-directed pointers in C. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, pages 1--15, Jan. 1996.
SPREE: Object Prefetching for Mobile computers - Kvilekval, Singh (2004) (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Symposium on Principles of Programming Languages POPL, pages 1--15, St. Petersburg, Florida, Jan 1996. ACM.
Increasing Concurrency in Databases Using Program Analysis - Vitenberg, Kvilekval, Singh (2004) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Symposium on Principles of Programming Languages POPL, pages 1--15, St. Petersburg, Florida, Jan 1996. ACM.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-15, St. Petersburg Beach, FL, January 21-24, 1996.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Twenty-Third ACM Symposium on Principles of Programming Languages, pages 1--15, St. Petersburg Beach, Florida, January 1996.
Error-Correcting Graphs for Software Watermarking - Collberg, Kobourov, Carter, .. (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL'96, pages 1--15, 21--24 Jan. 1996.
Alias Types for Recursive Data Structures - Extended Version David (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Twenty-Third ACM Symposium on Principles of Programming Languages, pages 1--15, St. Petersburg Beach, Florida, January 1996.
Generalized Typestate Checking Using Set Interfaces and.. - Lam, Kuncak, Rinard (2004) (Correct)
No context found.
R. Ghiya and L. Hendren. Is it a tree, a DAG or a cyclic graph? a shape analysis for heap-directed pointers in C. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, pages 1--15, Jan. 1996.
An Improved Slicer for Java - Hammer, Snelting (2004) (Correct)
No context found.
R. Ghiya and L. Hendren. A shape analysis for heap-directed pointers in C. In Proc. 23rd Principles of Programming Languages, pages 1--15, 1996.
Data Structure Analysis: A Fast and Scalable Context-Sensitive .. - Lattner, Adve (2003) (1 citation) (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In pages 1--15, 1996.
Interprocedural Dataflow Analysis - Alias Analysis - Sathyanathan (2001) (1 citation) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? a shape analysis for heap-directed pointers in C. In Proceedings of the 23th Annual ACM Symposium on Principles of Programming Languages, January 1996.
Generalized Typestate Checking Using Set Interfaces and.. - Lam, Kuncak, Rinard (2004) (Correct)
No context found.
R. Ghiya and L. Hendren. Is it a tree, a DAG or a cyclic graph? a shape analysis for heap-directed pointers in C. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, pages 1--15, Jan. 1996.
Analysis of Multithreaded Programs - Rinard (2001) (13 citations) (Correct)
No context found.
R. Ghiya and L. Hendren. Is it a tree, a DAG or a cyclic graph? A shape analysis for heap-directed pointers in C. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, pages 1--15, Jan. 1996.
Containers on the Parallelization of General-purpose Java.. - Peng Wu David (1999) (3 citations) (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c. In Proc. of the 23rd ACM/SIGPLAN SIGACT Symp. on Principles of Programming Languages, January 1996.
Containers on the Parallelization of General-purpose Java Programs - Wu, Padua (1999) (3 citations) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c. In Proc. of the 23rd ACM/SIGPLAN SIGACT Symp. on Principles of Programming Languages, January 1996.
Shape Analysis and Cache Locality for Recursive - Data Structures In (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langualges (POPL), pages 1--15, St. Petersburg, Florida, January 1996.
Increasing the Accuracy of Shape and Safety Analysis of.. - Diniz (Correct)
No context found.
R. Ghiya and L. Hendren. Is it a Tree, a DAG, or a Cyclic Graph? a shape analysis for heap-directed pointers in C. In Proceedings of the Twenty-third Annual ACM Symposium on the Principles of Programming Languages, pages 1--15, New York, NY, January 1996. ACM Press.
Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (1 citation) (Correct)
No context found.
R. Ghiya and L. Hendren. Is is a tree, a DAG or a cyclic graph? a shape analysis for heap-directed pointers in C. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, pages 1--15, January 1996.
Nonuniform Alias Analysis of Recursive Data Structures and Arrays - Venet (2002) (1 citation) (Correct)
No context found.
R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c. In Porceedings of POPL 1996, pages 1-15, 1996.
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
No context found.
Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96), pages 1--15, St. Petersburg, Florida, January 21--24, 1996. ACM Press.
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