Efficient execution in an automated reasoning environment (2006)

by David A. Greve , Matt Kaufmann , Panagiotis Manolios , J Strother Moore S , Rob Sumners , Daron Vroon , Matthew Wilding
Venue:Journal of Functional Programming
Citations:8 - 4 self

Documents Related by Co-Citation

739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
482 Interactive Theorem Proving and Program Development – Y, P Casteran - 2004
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
645 Systematic Software Development Using VDM – C B Jones - 1986
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
758 Eiffel: the language – B Meyer - 1992
721 Types and programming languages – Benjamin C Pierce - 2002