Executable JVM Model for Analytical Reasoning: A Study (2003)

Cached

Download Links

by Hanbing Liu, J Strother Moore
Citations:20 - 5 self

Documents Related by Co-Citation

261 S.: Computer-Aided Reasoning: An Approach – M Kaufmann, P Manolios, J Moore - 2000
18 Proving theorems about Java and the JVM with ACL2 – J Strother Moore - 2003
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
157 Towards a Mathematical Science of Computation – J. Mccarthy - 1962
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
533 A Computational Logic – R BOYER, J MOORE - 1979
48 Structured Theory Development for a Mechanized Logic – Matt Kaufmann, J Strother Moore - 1999
15 R.: Efficient Rewriting of Data Structures in ACL2 – M Kaufmann, Sumners - 2002
25 Inductive assertions and operational semantics – J Strother Moore - 2003
31 Partial Functions in ACL2 – Panagiotis Manolios, J Strother Moore
23 The Apprentice Challenge – J Strother Moore, George Porter - 2002
97 A machine-checked model for a Java-like language, virtual machine and compiler – Gerwin Klein, Tobias Nipkow - 2004
571 Assigning meanings to programs – R W Floyd - 1967
28 A mechanically checked proof of IEEE compliance of a register-transferlevel specification of the AMD-K7 floating-point multiplication, division, and square root instructions – D Russinoff - 1998
36 Trace Table Based Approach for Pipelined Microprocessor Verification – Jun Sawada, Warren A. Hunt, Jr. - 1997
532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
12 Java Program Verification via a JVM Deep Embedding in ACL2 – Hanbing Liu, J Strother Moore - 2004
78 Automated Proofs of Object Code for a Widely Used Microprocessor – Yuan Yu - 1992
11 Algorithms for ordinal arithmetic – Panagiotis Manolios, Daron Vroon - 2003