Manna, Z., and Waldinger, R., The Deductive Foundations of Computer Programming, AddisonWesley, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Automatic Generation of Invariants in Processor Verification - Su, Dill, Barrett (1996) (2 citations) (Correct)
Generic Accumulations - Pardo (2002) (5 citations) (Correct)
Solving Regular Path Queries - Liu, Yu (2002) (1 citation) (Correct)
Solving Regular Path Queries - Liu, Yu (2002) (1 citation) (Correct)
Strengthening Invariants for Efficient Computation - Liu, Stoller, Teitelbaum (2001) (Correct)
Efficient Computation via Incremental Computation - Liu (1999) (Correct)
An Integration of Deductive Retrieval into Deductive Synthesis - Fischer, Whittle (1999) (4 citations) (Correct)
Incremental Computation: A Semantics-Based Systematic.. - Liu (1996) (2 citations) (Correct)
A Higher-Order Interpretation of Deductive Tableau - Ayari, Basin (1999) (3 citations) (Correct)
On Specification Frameworks and Deductive Synthesis of Logic.. - Kung-Kiu Lau (1994) (5 citations) (Correct)
A Practical Integration of First-Order Reasoning and.. - Bjørner, Stickel, Uribe (1997) (1 citation) (Correct)
The Halting Problem for Deductive Synthesis of Logic Programs - Lau, Ornaghi, al. (1994) (1 citation) (Correct)
A Note on a Parameterized Version of the Well-Founded Induction.. - Gramlich (1995) (Correct)
Automatic Derivation of Statistical Data Analysis.. - Fischer, Hajian.. (2003) (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
CHESS: Retargetable Code Generation For Embedded DSP Processors - Lanneer, al. (1995) (37 citations) (Correct)
A Closer Look at Programming Expertise: Critical Survey of Some.. - Navrat (1996) (2 citations) (Correct)
Software Synthesis for Real-Time Information.. - Cornero, Thoen.. (1995) (12 citations) (Correct)
The Stanford Temporal Prover Educational Release -.. - Bjørner.. (1998) Self-citation (Manna) (Correct)
A Higher-Order Interpretation of Deductive Tableau - Ayari, Basin (2001) (3 citations) Self-citation (Manna Waldinger) (Correct)
A Guide to SNARK - Stickel, Waldinger, Chaudhri (2000) (4 citations) Self-citation (Waldinger) (Correct)
A Guide to SNARK - Stickel, Waldinger, Chaudhri (2000) (4 citations) Self-citation (Waldinger) (Correct)
STeP: The Stanford Temporal Prover Educational.. - Bjørner.. (1997) (6 citations) Self-citation (Manna) (Correct)
STeP: the Stanford Temporal Prover - Manna, Anuchitanukul.. (1994) (90 citations) Self-citation (Manna) (Correct)
Deductive Composition of Astronomical Software.. - Stickel.. (1994) (56 citations) Self-citation (Waldinger) (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