J. Strother Moore

ORCID

Publication Activity (10 Years)

Years Active: 1973-2022
Publications (10 Years): 6

Top Venues

ACL2

Formal Aspects Comput.

ARCADE@CADE

FLAP

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Warren A. Hunt Jr., Vivek Ramanathan, J. Strother Moore
VWSIM: A Circuit Simulator. ACL2 (2022)
Matt Kaufmann, J. Strother Moore
Iteration in ACL2. ACL2 (2020)
Matt Kaufmann, J. Strother Moore
Limited Second-Order Functionality in a First-Order Setting. J. Autom. Reason. 64 (3) (2020)
J. Strother Moore
Milestones from the Pure Lisp theorem prover to ACL2. Formal Aspects Comput. 31 (6) (2019)
J. Strother Moore, Marijn J. H. Heule
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. ARCADE@CADE (2017)
J. Strother Moore, Claus-Peter Wirth
Automation of Mathematical Induction as part of the History of Logic. FLAP 4 (5) (2017)
Hanbing Liu, J. Strother Moore
Executable JVM model for analytical reasoning: a study. IVME (2003)
J. Strother Moore
An ACL2 Proof of Write Invalidate Cache Coherence. CAV (1998)
J. Strother Moore
Symbolic Simulation: An ACL2 Approach. FMCAD (1998)
J. Strother Moore, Thomas W. Lynch, Matt Kaufmann
Floating Point Division Program. IEEE Trans. Computers 47 (9) (1998)
Matt Kaufmann, J. Strother Moore
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. IEEE Trans. Software Eng. 23 (4) (1997)
Bishop Brock, Matt Kaufmann, J. Strother Moore
ACL2 Theorems About Commercial Microprocessors. FMCAD (1996)
J. Strother Moore
Introduction to the OBDD Algorithm for the ATP Community. J. Autom. Reason. 12 (1) (1994)
J. Strother Moore
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. Formal Aspects Comput. 6 (1) (1994)
Robert S. Boyer, J. Strother Moore
MJRTY: A Fast Majority Vote Algorithm. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J. Strother Moore
Functional Instantiation in First-Order Logic. Artificial and Mathematical Theory of Computation (1991)
Robert S. Boyer, J. Strother Moore
A Theorem Prover for a Computational Logic. CADE (1990)
William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young
An Approach to Systems Verification. J. Autom. Reason. 5 (4) (1989)
J. Strother Moore
A Mechanically Verified Language Implementation. J. Autom. Reason. 5 (4) (1989)
Robert S. Boyer, J. Strother Moore
The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover. J. Autom. Reason. 4 (2) (1988)
Robert S. Boyer, J. Strother Moore
Overview of a Theorem-Prover for A Computational Logic. CADE (1986)
Donald I. Good, Robert S. Boyer, J. Strother Moore
A second generation verification environment. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Robert S. Boyer, J. Strother Moore
Program Verification. J. Autom. Reason. 1 (1) (1985)
Robert S. Boyer, J. Strother Moore
A Mechanical Proof of the Unsolvability of the Halting Problem. J. ACM 31 (3) (1984)
Robert S. Boyer, J. Strother Moore
Program verification prize. ACM SIGSOFT Softw. Eng. Notes 8 (3) (1983)
J. Strother Moore
A Mechanical Proof of the Termination of Takeuchi's Function. Inf. Process. Lett. 9 (4) (1979)
Robert S. Boyer, J. Strother Moore
A Lemma Driven Automatic Theorem Prover for Recursive Function Theory. IJCAI (1977)
Robert S. Boyer, J. Strother Moore
A Fast String Searching Algorithm. Commun. ACM 20 (10) (1977)
Robert S. Boyer, J. Strother Moore, Robert E. Shostak
Primitive Recursive Program Transformations. POPL (1976)
J. Strother Moore
Automatic proof of correctness of a binary addition algorithm. SIGART Newsl. 52 (1975)
Robert S. Boyer, J. Strother Moore
Proving Theorems about LISP Functions. J. ACM 22 (1) (1975)
J. Strother Moore
Introducing Iteration into the Pure Lisp Theorem Prover. IEEE Trans. Software Eng. 1 (3) (1975)
Robert S. Boyer, J. Strother Moore
Proving Theorems about LISP Functions. IJCAI (1973)

J. Strother Moore.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

J. Strother Moore