Robert S. Boyer

According to our database, Robert S. Boyer authored at least 32 papers between 1972 and 2006.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2006

Function memoization and unique object representation for ACL2 functions.

Robert S. Boyer, Warren A. Hunt Jr.

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Toward Automating the Discovery of Decreasing Measures.

Robert S. Boyer, Wilfred J. Legato, Victor W. Marek

J. Autom. Reason., 2005

A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.

Robert S. Boyer, Warren A. Hunt Jr., Serita M. Nelesen

Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005

2002

In memoriam: Edsger W. Dijkstra 1930-2002.

Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards

Commun. ACM, 2002

Single-Threaded Objects in ACL2.

Robert S. Boyer, J Strother Moore

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

1998

A computational logic handbook, Second Edition.

Robert S. Boyer, J Strother Moore

Academic Press international series in formal methods, Academic Press, ISBN: 978-0-12-122955-9, 1998

1996

Automated Proofs of Object Code for a Widely Used Microprocessor.

Robert S. Boyer, Yuan Yu

J. ACM, 1996

Woody Bledsoe - His Life and Legacy.

A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines

AI Mag., 1996

1994

Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?

Robert S. Boyer

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.

Robert S. Boyer, Yuan Yu

Proceedings of the Automated Deduction, 1992

1991

MJRTY: A Fast Majority Vote Algorithm.

Robert S. Boyer, J Strother Moore

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

Functional Instantiation in First-Order Logic.

Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J Strother Moore

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

A Biographical Sketch of W. W. Bledsoe.

Anne Olivia Boyer, Robert S. Boyer

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990

A Theorem Prover for a Computational Logic.

Robert S. Boyer, J Strother Moore

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Efficient Implementation of Lattice Operations.

Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr

ACM Trans. Program. Lang. Syst., 1989

1988

The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.

Robert S. Boyer, J Strother Moore

J. Autom. Reason., 1988

1986

Abstracts in software engineering - reports.

Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt

ACM SIGSOFT Softw. Eng. Notes, 1986

Set Theory in First-Order Logic: Clauses for Gödel's Axioms.

Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos

J. Autom. Reason., 1986

Overview of a Theorem-Prover for A Computational Logic.

Robert S. Boyer, J Strother Moore

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

A second generation verification environment.

Donald I. Good, Robert S. Boyer, J Strother Moore

ACM SIGSOFT Softw. Eng. Notes, 1985

A prototype theorem-prover for a higher-order functional language.

Robert S. Boyer, Matt Kaufmann

ACM SIGSOFT Softw. Eng. Notes, 1985

Program Verification.

Robert S. Boyer, J Strother Moore

J. Autom. Reason., 1985

1984

A Mechanical Proof of the Unsolvability of the Halting Problem.

Robert S. Boyer, J Strother Moore

J. ACM, 1984

1983

Program verification prize.

Robert S. Boyer, J Strother Moore

ACM SIGSOFT Softw. Eng. Notes, 1983

1980

A computational logic.

Robert S. Boyer, J Strother Moore

ACM monograph series, Academic Press, ISBN: 978-0-12-122950-4, 1980

1979

A computational logic handbook.

Robert S. Boyer, J Strother Moore

Perspectives in computing 23, Academic Press, ISBN: 978-0-12-122952-8, 1979

1977

A Fast String Searching Algorithm.

Robert S. Boyer, J Strother Moore

Commun. ACM, 1977

A Lemma Driven Automatic Theorem Prover for Recursive Function Theory.

Robert S. Boyer, J Strother Moore

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Primitive Recursive Program Transformations.

Robert S. Boyer, J Strother Moore, Robert E. Shostak

Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

1975

Proving Theorems about LISP Functions.

Robert S. Boyer, J Strother Moore

J. ACM, 1975

SELECT - a formal system for testing and debugging programs by symbolic execution.

Robert S. Boyer, Bernard Elspas, Karl N. Levitt

Proceedings of the International Conference on Reliable Software 1975, 1975

1972

Computer Proofs of Limit Theorems.

W. W. Bledsoe, Robert S. Boyer, William H. Henneman

Artif. Intell., 1972