N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, NJ, 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, NJ, 1981.
A Static Heap Analysis for Shape and Connectivity - Unified Memory Analysis (Correct)
No context found.
N. D. Jones and S. S. Muchnick. Flow analysis and optimization of lisp-like structures. In POPL, 1979.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 12, pages 380--384. Prentice-Hall, Englewood Cli#s, NJ, 1981.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cli#s, NJ, 1981.
A Decidable Logic - For Describing Linked (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, NJ, 1981.
Abstraction Refinement via Inductive Learning - Alexey Loginov Thomas (Correct)
No context found.
N. Jones and S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Program Flow Analysis: Theory and Applications, pages 102--131. Prentice-Hall, 1981.
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
No context found.
Jones, N. D. and Muchnick, S. (1979) Flow analysis and optimization of LISP-like structures. In: Proc. 6th ACM Symp. Principles of Programming Languages 244--256.
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
No context found.
N.D. Jones and S. Muchnick. Flow analysis and optimization of LISP-like structures. In Proc. 6th. ACM Symp. Principles of Programming Languages, pages 244-256, 1979.
Trace-based Program Analysis - Christopher Colby Peter (1996) (4 citations) (Correct)
No context found.
N. D. Jones and S. S. Muchnick. Flow analysis and optimization of LISP-like structures. In Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, pages 244--256, January 1979.
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, Chapter 4, pp. 102-131, Prentice-Hall, 1981.
Inferring Object Invariants (Extended Abstract) - Chang, Leino (2005) (Correct)
No context found.
Muchnick, S. S. and N. D. Jones, Flow analysis and optimization of Lisp-like structures, in: S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, Prentice-Hall, 1981 pp. 102--131.
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, Chapter 4, pp. 102-131, Prentice-Hall, 1981.
Partially Disjunctive Heap Abstraction - Mooly (2004) (1 citation) (Correct)
No context found.
N. Jones and S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, NJ, 1981.
Static and Dynamic Analysis: Synergy and Duality - Michael Ernst Mit (2003) (2 citations) (Correct)
No context found.
N. D. Jones and S. S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, N.J., 1981.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
Neil D. Jones and Steven S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102-131. Prentice-Hall, Englewood Cli s, N.J., 1981.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
No context found.
Neil D. Jones and Steven Muchnick, editors. Flow analysis and optimization of Lisp-like structures. Prentice-Hall, 1981.
Partially Disjunctive Heap Abstraction - Roman Manevich Mooly (2004) (1 citation) (Correct)
No context found.
N. Jones and S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, NJ, 1981.
Partially Disjunctive Heap Abstraction - Manevich, Sagiv, Ramalingam, Field (2004) (1 citation) (Correct)
No context found.
N. Jones and S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, Englewood Cliffs, NJ, 1981.
Alias Types for Recursive Data Structures - Extended Version David (Correct)
No context found.
Neil D. Jones and Steven Muchnick, editors. Flow analysis and optimization of Lisp-like structures. Prentice-Hall, 1981.
Interprocedural Dataflow Analysis - Alias Analysis - Sathyanathan (2001) (1 citation) (Correct)
No context found.
N. Jones and S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102-131. Prentice Hall, 1979.
Interconvertibility of a Class of Set Constraints and.. - Melski, Reps (1998) (13 citations) (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102--131. Prentice-Hall, 1981.
Interconvertibility of a Class of Set Constraints and.. - Melski, Reps (1998) (13 citations) (Correct)
No context found.
N. D. Jones and S. S. Muchnick. Flow analysis and optimization of LISP-like structures. Program Flow Analysis: Theory and Applications, 1981.
Shape Analysis and Cache Locality for Recursive - Data Structures In (Correct)
No context found.
Neil D. Jones and Steven S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102--131. Englewood Cli#s, N.J.: Prentice-Hall, 1981.
Shape Analysis - Wilhelm, Sagiv, Reps (2000) (11 citations) (Correct)
No context found.
N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102-131. Prentice-Hall, Englewood Cli s, NJ, 1981.
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
No context found.
Neil D. Jones and Steven S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Conference Record of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 244--256, January 1979. (p 3)
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