BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
J.S.Moore Y.Yu R.E.Shostak
Talks about:
theorem (2) program (2) prover (2) comput (2) logic (2) microprocessor (1) transform (1) overview (1) commerci (1) correct (1)

Person: Robert S. Boyer

DBLP DBLP: Boyer:Robert_S=

Contributed to:

PADL 20022002
CADE 19921992
CADE 19901990
CADE 19861986
POPL 19761976

Wrote 5 papers:

PADL-2002-BoyerM #thread
Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.
CADE-1992-BoyerY #automation #correctness #proving #source code
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor (RSB, YY), pp. 416–430.
CADE-1990-BoyerM #logic #proving #theorem proving
A Theorem Prover for a Computational Logic (RSB, JSM), pp. 1–15.
CADE-1986-BoyerM #logic #overview
Overview of a Theorem-Prover for A Computational Logic (RSB, JSM), pp. 675–678.
POPL-1976-BoyerMS #program transformation #recursion
Primitive Recursive Program Transformations (RSB, JSM, RES), pp. 171–174.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.