Efficient execution in an automated reasoning environment
From MaRDI portal
Publication:5437032
DOI10.1017/S0956796807006338zbMath1128.68090MaRDI QIDQ5437032
José Luis Ruiz-Reina, J. Strother Moore, Rob Sumners, Matthew Wilding, Matt Kaufmann, David Greve, Panagiotis Manolios, Sandip Ray, Daron Vroon
Publication date: 18 January 2008
Published in: Journal of Functional Programming (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Semantic subtyping with an SMT solver ⋮ Efficient, verified checking of propositional proofs ⋮ An ACL2 Tutorial ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Limited second-order functionality in a first-order setting ⋮ Adapting functional programs to higher order logic ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2
Uses Software
This page was built for publication: Efficient execution in an automated reasoning environment
