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

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

Active Bibliography

2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
871 Adaptive Constraint Satisfaction – J. E. Borrett, E. P. K. Tsang, N. R. Walsh - 1996
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
728 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992