Robert S. Boyer

36 papers A* 4A 4C 2Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2006 — conf
Function memoization and unique object representation for ACL2 functions.
ACL2
Robert S. Boyer, Warren A. Hunt Jr.
2005 C conf
A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.
WABI
Robert S. Boyer, Warren A. Hunt Jr., Serita M. Nelesen
2005 J jnl
Toward Automating the Discovery of Decreasing Measures.
J. Autom. Reason.
Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
2002 J jnl
In memoriam: Edsger W. Dijkstra 1930-2002.
Commun. ACM
Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
2002 C conf
Single-Threaded Objects in ACL2.
PADL
Robert S. Boyer, J Strother Moore
1998 — book
A computational logic handbook, Second Edition.
Robert S. Boyer, J Strother Moore
1996 J jnl
Automated Proofs of Object Code for a Widely Used Microprocessor.
J. ACM
Robert S. Boyer, Yuan Yu
1996 J jnl
Woody Bledsoe - His Life and Legacy.
AI Mag.
A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines
1994 A conf
Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?
CADE
Robert S. Boyer
1992 A conf
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.
CADE
Robert S. Boyer, Yuan Yu
1991 — conf
A Biographical Sketch of W. W. Bledsoe.
Automated Reasoning: Essays in Honor of Woody Bledsoe
Anne Olivia Boyer, Robert S. Boyer
1991 — ed.
Automated Reasoning: Essays in Honor of Woody Bledsoe
Automated Reasoning
Robert S. Boyer
1991 — conf
Functional Instantiation in First-Order Logic.
Artificial and Mathematical Theory of Computation
Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J Strother Moore
1991 — conf
MJRTY: A Fast Majority Vote Algorithm.
Automated Reasoning: Essays in Honor of Woody Bledsoe
Robert S. Boyer, J Strother Moore
1990 A conf
A Theorem Prover for a Computational Logic.
CADE
Robert S. Boyer, J Strother Moore
1989 J jnl
Efficient Implementation of Lattice Operations.
ACM Trans. Program. Lang. Syst.
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
1988 J jnl
The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.
J. Autom. Reason.
Robert S. Boyer, J Strother Moore
1986 J jnl
Abstracts in software engineering - reports.
ACM SIGSOFT Softw. Eng. Notes
Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt
1986 A conf
Overview of a Theorem-Prover for A Computational Logic.
CADE
Robert S. Boyer, J Strother Moore
1986 J jnl
Set Theory in First-Order Logic: Clauses for Gödel's Axioms.
J. Autom. Reason.
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
1985 J jnl
A prototype theorem-prover for a higher-order functional language.
ACM SIGSOFT Softw. Eng. Notes
Robert S. Boyer, Matt Kaufmann
1985 J jnl
A second generation verification environment.
ACM SIGSOFT Softw. Eng. Notes
Donald I. Good, Robert S. Boyer, J Strother Moore
1985 J jnl
Program Verification.
J. Autom. Reason.
Robert S. Boyer, J Strother Moore
1984 J jnl
A Mechanical Proof of the Unsolvability of the Halting Problem.
J. ACM
Robert S. Boyer, J Strother Moore
1984 — ed.
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984.
LISP and Functional Programming
Robert S. Boyer, Edward S. Schneider, Guy L. Steele Jr.
1983 J jnl
Program verification prize.
ACM SIGSOFT Softw. Eng. Notes
Robert S. Boyer, J Strother Moore
1980 — book
A computational logic.
Robert S. Boyer, J Strother Moore
1979 — book
A computational logic handbook.
Robert S. Boyer, J Strother Moore
1977 J jnl
A Fast String Searching Algorithm.
Commun. ACM
Robert S. Boyer, J Strother Moore
1977 A* conf
A Lemma Driven Automatic Theorem Prover for Recursive Function Theory.
IJCAI
Robert S. Boyer, J Strother Moore
1976 A* conf
Primitive Recursive Program Transformations.
POPL
Robert S. Boyer, J Strother Moore, Robert E. Shostak
1975 J jnl
Proving Theorems about LISP Functions.
J. ACM
Robert S. Boyer, J Strother Moore
1975 — conf
SELECT - a formal system for testing and debugging programs by symbolic execution.
Reliable Software
Robert S. Boyer, Bernard Elspas, Karl N. Levitt
1973 A* conf
Proving Theorems about LISP Functions.
IJCAI
Robert S. Boyer, J Strother Moore
1972 J jnl
Computer Proofs of Limit Theorems.
Artif. Intell.
W. W. Bledsoe, Robert S. Boyer, William H. Henneman
1971 A* conf
Computer Proofs of Limit Theorems.
IJCAI
W. W. Bledsoe, Robert S. Boyer, William H. Henneman