Partial Functions in ACL2 (0)

Cached

Download Links

by Panagiotis Manolios , J Strother Moore
Venue:Journal of Automated Reasoning
Citations:31 - 7 self

Documents Related by Co-Citation

261 S.: Computer-Aided Reasoning: An Approach – M Kaufmann, P Manolios, J Moore - 2000
78 Automated Proofs of Object Code for a Widely Used Microprocessor – Yuan Yu - 1992
25 Inductive assertions and operational semantics – J Strother Moore - 2003
157 Towards a Mathematical Science of Computation – J. Mccarthy - 1962
26 High-Speed, Analyzable Simulators – David Greve, Matthew Wilding, David Hardin
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
28 Mechanized Formal Reasoning about Programs and Computing Machines – Robert S. Boyer, J Strother Moore - 1996
19 A Mechanically Verified Verification Condition Generator – Peter V. Homeier, David F. Martin - 1993
571 Assigning meanings to programs – R W Floyd - 1967
533 A Computational Logic – R BOYER, J MOORE - 1979
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
61 A Program Verifier – J C King - 1969
18 Proving theorems about Java and the JVM with ACL2 – J Strother Moore - 2003
19 Cuarded commands, nondeterminacy and a calculus for the derivation of programs – E W Dijkstra - 1975
41 An Operational Semantics for Stateflow – Gregoire Hamon, John Rushby - 2004
28 Formal Verification of a Java Compiler in Isabelle – Martin Strecker, Fakultät Für Informatik, Technische Universität München - 2002
61 C formalised in HOL – Michael Norrish - 1998
11 Algorithms for ordinal arithmetic – Panagiotis Manolios, Daron Vroon - 2003
532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992