Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs (1998)

by James L. Caldwell, II
Citations:3 - 0 self

Active Bibliography

2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
786 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
816 Adaptive Constraint Satisfaction – J. E. Borrett, E. P. K. Tsang, N. R. Walsh - 1996
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
537 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
540 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992