Efficient execution in an automated reasoning environment (2006)

Cached

Download Links

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

Documents Related by Co-Citation

45 Structured Theory Development for a Mechanized Logic – Matt Kaufmann, J Strother Moore - 1999
506 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
7 Proving theorems about pure lisp functions – R S Boyer, J S Moore - 1975
12 A Precise Description of the ACL2 Logic – Matt Kaufmann, J Strother Moore - 1998
9 Single-Threaded Objects in ACL2 – Robert S. Boyer, J. Strother Moore - 1999
382 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
66 ACL2 Theorems about Commercial Microprocessors – Bishop Brock, Matt Kaufmann, J. Strother Moore - 1996
6 Using ACL2 Arrays to Formalize Matrix Algebra – John Cowles, Ruben Gamboa, Jeff Van Baalen - 2003
1 Experiments with finite tree automata in Coq – Jean Goubault-larrecq - 2001
1 Machines, chapter 3 – Languages Automata - 1974
10 An exercise in graph theory – J Strother Moore - 2000
23 Définition et etude des bilangages réguliers – C Pair, A Quere - 1968
4 Code generation from Isabelle/HOL theories – F Haftmann - 2007
36 Hedge automata: a formal model for XML schemata – Makoto Murata - 1999
12 Verified Lexical Analysis – Tobias Nipkow - 1998
16 Formal Properties of XML Grammars and Languages – Jean Berstel, Luc Boasson - 2002
102 Transductions and Context-Free Languages. Teubner Studienbücher – J Berstel - 1978
103 Program Analysis via Graph Reachability – Thomas Reps - 1997
62 Static Approximation of Dynamically Generated Web Pages – Yasuhiko Minamide - 2005