Robert S. Boyer

Publication Activity (10 Years)

Years Active: 1971-2006
Publications (10 Years): 0

Publications

Robert S. Boyer, Warren A. Hunt Jr.
Function memoization and unique object representation for ACL2 functions. ACL2 (2006)
Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
Toward Automating the Discovery of Decreasing Measures. J. Autom. Reason. 35 (4) (2005)
Robert S. Boyer, Warren A. Hunt Jr., Serita M. Nelesen
A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance. WABI (2005)
Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
In memoriam: Edsger W. Dijkstra 1930-2002. Commun. ACM 45 (10) (2002)
Robert S. Boyer, J Strother Moore
Single-Threaded Objects in ACL2. PADL (2002)
A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines
Woody Bledsoe - His Life and Legacy. AI Mag. 17 (1) (1996)
Robert S. Boyer, Yuan Yu
Automated Proofs of Object Code for a Widely Used Microprocessor. J. ACM 43 (1) (1996)
Robert S. Boyer
Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We? CADE (1994)
Robert S. Boyer, Yuan Yu
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. CADE (1992)
Anne Olivia Boyer, Robert S. Boyer
A Biographical Sketch of W. W. Bledsoe. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
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)
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11 (1) (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, Warren A. Hunt, Richard M. Cohen, Richard C. Holt
Abstracts in software engineering - reports. ACM SIGSOFT Softw. Eng. Notes 11 (5) (1986)
Robert S. Boyer, J. Strother Moore
Overview of a Theorem-Prover for A Computational Logic. CADE (1986)
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
Set Theory in First-Order Logic: Clauses for Gödel's Axioms. J. Autom. Reason. 2 (3) (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, Matt Kaufmann
A prototype theorem-prover for a higher-order functional language. 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)
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)
Robert S. Boyer, J. Strother Moore
Proving Theorems about LISP Functions. J. ACM 22 (1) (1975)
Robert S. Boyer, Bernard Elspas, Karl N. Levitt
SELECT - a formal system for testing and debugging programs by symbolic execution. Reliable Software (1975)
Robert S. Boyer, J. Strother Moore
Proving Theorems about LISP Functions. IJCAI (1973)
W. W. Bledsoe, Robert S. Boyer, William H. Henneman
Computer Proofs of Limit Theorems. Artif. Intell. 3 (1-3) (1972)
W. W. Bledsoe, Robert S. Boyer, William H. Henneman
Computer Proofs of Limit Theorems. IJCAI (1971)