J Strother Moore

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 1

Top Topics

Datalog Programs

Natural Language Learning

Intuitionistic Logic

Top Venues

Publications

Matt Kaufmann, J Strother Moore
Advances in ACL2 Proof Debugging Tools. CoRR (2023)
J Strother Moore
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States. ACL2 (2015)
J Strother Moore
Machines Reasoning About Machines: 2015. ATVA (2015)
Matt Kaufmann, J Strother Moore
Rough Diamond: An Extension of Equivalence-Based Rewriting. ITP (2014)
Matt Kaufmann, J Strother Moore
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4. ACL2 (2014)
J Strother Moore
Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete. ITP (2014)
J Strother Moore, Claus-Peter Wirth
Automation of Mathematical Induction as part of the History of Logic. CoRR (2013)
Matt Kaufmann, J Strother Moore
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 ACL2 (2013)
J Strother Moore
Meta-level features in an industrial-strength theorem prover. POPL (2012)
Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2 (7) (2012)
J Strother Moore
Reasoning about digital artifacts with ACL2. PLPV (2011)
Matt Kaufmann, J Strother Moore
How Can I Do That with ACL2? Recent Enhancements to ACL2 ACL2 (2011)
J Strother Moore
. FMCAD (2011)
J Strother Moore
Theorem Proving for Verification: The Early Days. LICS (2010)
Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber
Integrating external deduction tools with ACL2. J. Appl. Log. 7 (1) (2009)
Matt Kaufmann, J Strother Moore
An ACL2 Tutorial. TPHOLs (2008)
Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore
A Mechanical Analysis of Program Verification Strategies. J. Autom. Reason. 40 (4) (2008)
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding
Efficient execution in an automated reasoning environment. J. Funct. Program. 18 (1) (2008)
Bishop Brock, Matt Kaufmann, J Strother Moore
Rewriting with Equivalence Relations in ACL2. J. Autom. Reason. 40 (4) (2008)
Robert B. Schnabel, Duncan A. Buell, Joanna Goode, J Strother Moore, Chris Stephenson
An open dialogue concerning the state of education policy in computer science. SIGCSE (2008)
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
ACL2s: "The ACL2 Sedan". ICSE Companion (2007)
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
ACL2s: "The ACL2 Sedan". Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
John Matthews, J Strother Moore, Sandip Ray, Daron Vroon
Verification Condition Generation Via Theorem Proving. LPAR (2006)
Matt Kaufmann, J Strother Moore
Double rewriting for equivalential reasoning in ACL2. ACL2 (2006)
J Strother Moore
Inductive assertions and operational semantics. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
J Strother Moore, Qiang Zhang
Proof Pearl: Dijkstra's Shortest Path Algorithm Verified with ACL2. TPHOLs (2005)
Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith
Meta Reasoning in ACL2. TPHOLs (2005)
Hanbing Liu, J Strother Moore
Executable JVM model for analytical reasoning: A study. Sci. Comput. Program. 57 (3) (2005)
J Strother Moore
A Mechanized Program Verifier. VSTTE (2005)
J Strother Moore
On the Adoption of Formal Methods by Industry: The ACL2 Experience. ICFEM (2004)
Hanbing Liu, J Strother Moore
Java Program Verification via a JVM Deep Embedding in ACL2. TPHOLs (2004)
Sandip Ray, J Strother Moore
Proof Styles in Operational Semantics. FMCAD (2004)
Warren A. Hunt Jr., Robert Bellarmine Krug, J Strother Moore
Linear and Nonlinear Arithmetic in ACL2. CHARME (2003)
J Strother Moore
Inductive Assertions and Operational Semantics. CHARME (2003)
Panagiotis Manolios, J Strother Moore
Partial Functions in ACL2. J. Autom. Reason. 31 (2) (2003)
J Strother Moore
A Grand Challenge Proposal for Formal Methods: A Verified Stack. 10th Anniversary Colloquium of UNU/IIST (2002)
J Strother Moore
Functional formal methods. ICFP (2002)
J Strother Moore, George Porter
The apprentice challenge. ACM Trans. Program. Lang. Syst. 24 (3) (2002)
Robert S. Boyer, J Strother Moore
Single-Threaded Objects in ACL2. PADL (2002)
Matt Kaufmann, J Strother Moore
Structured Theory Development for a Mechanized Logic. J. Autom. Reason. 26 (2) (2001)
Panagiotis Manolios, J Strother Moore
On the desirability of mechanizing calculational proofs. Inf. Process. Lett. 77 (2-4) (2001)
J Strother Moore, George Porter
An Executable Formal Java Virtual Machine Thread Model. Java Virtual Machine Research and Technology Symposium (2001)
J Strother Moore
Finite Set Theory in ACL2. TPHOLs (2001)
J Strother Moore
Rewriting for Symbolic Execution of State Machine Models. CAV (2001)
J Strother Moore
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View. Formal Methods Syst. Des. 14 (2) (1999)
J Strother Moore
Proving Theorems About Java-Like Byte Code. Correct System Design (1999)
Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt
Abstracts in software engineering - reports. ACM SIGSOFT Softw. Eng. Notes 11 (5) (1986)