Patrick Cousot. Methods and logics for proving programs. In J. van Leewen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 15, pages 841--993. The MIT Press, New York, N.Y., 1990. (p 4) Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Dynamic Logic - Harel, Kozen, Tiuryn (1984) (356 citations) (Correct)
Program Logic and Equivalence in the Presence of Garbage.. - Calcagno, O'Hearn, Bornat (2001) (3 citations) (Correct)
Proof for Functional Programming - Thompson (1998) (Correct)
Program Logic and Equivalence in the Presence of Garbage.. - Calcagno, O'Hearn, Bornat (2001) (3 citations) (Correct)
Proof-Theoretic Notions for Software Maintenance - Kahle (2000) (Correct)
Local Reasoning about Programs that Alter Data Structures - O'Hearn, Reynolds, Yang (2001) (19 citations) (Correct)
Formalizing (and Reasoning About) the Specifications of.. - Trajcevski, Baral, Lobo (Correct)
Hoare Logic and Auxiliary Variables - Kleymann (1998) (1 citation) (Correct)
Specification and Development of Correct Relational Database.. - Schewe (1997) (Correct)
Dynamic Logic Reasoning about Actions and Agents - Meyer (1999) (Correct)
Towards a Theory of Consistency Enforcement - Schewe, Thalheim (1999) (Correct)
On Garbage and Program Logic - O'Hearn, Calcagno (2000) (Correct)
On Garbage and Program Logic - Calcagno, O'Hearn (2 citations) (Correct)
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
On Garbage and Program Logic - Cristiano Calcagno And (2 citations) (Correct)
Program Logic and Equivalence in the - Presence Of Garbage (Correct)
Formal Development and Verification of Approximation.. - Berghammer, Müller-Olm (Correct)
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (2 citations) (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
Interval Approach To Testing Software - Kreinovich, Swenson, Elentukh (1993) (Correct)
Semantics-based Program Analysis via - Symbolic Composition Of Self-citation (Cousot) (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) Self-citation (Cousot) (Correct)
Verification of Embedded Software: Problems and Perspectives - Cousot, Cousot (2001) (1 citation) Self-citation (Cousot) (Correct)
Modular Static Program Analysis - Cousot, Cousot (2002) (8 citations) Self-citation (Cousot) (Correct)
First 50 documents
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