Patrick Cousot and Radhia Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 269--282. ACM, ACM, January 1979. (pp 4, 127) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Semantics-based Program Analysis via - Symbolic Composition Of Self-citation (Cousot) (Correct)
No context found.
Patrick Cousot and Radhia Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 269--282. ACM, ACM, January 1979. (pp 4, 127)
Proving Program Invariance and Termination by Parametric .. - Ecole Normale Superieure Self-citation (Cousot) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. 6
Proving Program Invariance and Termination by Parametric .. - Ecole Normale Superieure Self-citation (Cousot) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. 6
Automatic Assume/Guarantee Reasoning for - Heap-Manipulating Programs Ongoing (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In POPL, pages 269--282. ACM, 1979.
Automatic Veri - Cation Of Strongly (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. Symp. on Principles of Prog. Languages, pages 269-282, New York, NY, 1979. ACM Press.
Weighted Pushdown Systems and their - Application To Interprocedural (Correct)
No context found.
P. Cousot, R. Cousot, Systematic design of program analysis frameworks, in: Symp. on Princ. of Prog. Lang., ACM Press, New York, NY, 1979, pp. 269-282.
Numeric Analysis of Array Operations - Denis Gopan Thomas (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269--282, New York, NY, 1979. ACM Press.
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In ACM Symposium on Principles of Programming Languages, pages 269--282, New York, NY, 1979. ACM Press.
A Relational Abstraction for Functions - Jeannet Gopan And (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6th ACM Symposium on Principles of Programming Languages, POPL'79, San Antonio, January 1979.
A Framework for Numeric Analysis of Array Operations - Denis Gopan Gopan (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269--282, New York, NY, 1979. ACM Press.
A Semantics for Procedure Local Heaps - And Its Ions (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269--282, New York, NY, 1979. ACM Press.
Static Verification of UML Model Consistency - Baruzzo And Comini (Correct)
No context found.
P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, San Antonio, Texas, January 29--31, pages 269--282, New York, NY, USA, 1979. ACM Press.
Terminator: Beyond Safety - Ron Cook Andreas (2006) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In POPL'79: Principles of Programming Languages, pages 269--282. ACM Press, 1979.
Model Checking - Clarke, Schlingloff (2000) (755 citations) (Correct)
No context found.
Cousot P. and Cousot R. [1979], Systematic design of program analysis frameworks, in `Proc. 6th Ann. ACM Symp. on Principles of Programming Languages (POPL '79)'.
Model Checking and Abstraction - Edmund Clarke Carnegie (1992) (202 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages, January 1979.
On Field Constraint Analysis - Wies, Kuncak, Lam, Podelski, Rinard (2006) (1 citation) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. 6th POPL, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
On Flow-Sensitive Security Types - Sebastian Hunt Department (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
AsmL Semantics in Fixpoint - Ali Habibi And (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. Symposium on Principles of Programming Languages, pages 269--282, San Antonio, Texas, USA, 1979.
Compositional Characterization of Observable - Program Properties Bernhard (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6th POPL, pages 269--282, 1979.
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (2006) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. 6th POPL, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
A Generic Object-Oriented Incremental Analyser - For Constraint Logic (1996) (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. Sixth Ann. ACM Symp. of Priciples of Programming Languages, pages 269-282, 1979.
Modular Pluggable Analyses for Data Structure Consistency - Kuncak, Lam, Zee, Rinard (Correct)
No context found.
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. 6th POPL, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
On Role Logic - Kuncak, Rinard (2003) (Correct)
No context found.
Patrick Cousot and Radhia Cousot. Systematic design of program analysis frameworks. In Proc. 6th POPL, pages 269--282, San Antonio, Texas, 1979. ACM Press, New York, NY.
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