BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × United Kingdom
4 × USA
Collaborated with:
R.S.Boyer R.E.Shostak
Talks about:
theorem (4) prover (3) comput (2) logic (2) acl (2) transform (1) strength (1) overview (1) industri (1) function (1)

Person: J. Strother Moore

DBLP DBLP: Moore:J=_Strother

Contributed to:

POPL 20122012
LICS 20102010
ICFP 20022002
PADL 20022002
CAV 20012001
CAV 19981998
CADE 19901990
CADE 19861986
POPL 19761976

Wrote 9 papers:

POPL-2012-Moore #proving #theorem proving
Meta-level features in an industrial-strength theorem prover (JSM), pp. 425–426.
LICS-2010-Moore #proving #theorem proving #verification
Theorem Proving for Verification: The Early Days (JSM), p. 283.
ICFP-2002-Moore #formal method #functional
Functional formal methods (JSM), p. 123.
PADL-2002-BoyerM #thread
Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.
CAV-2001-Moore #execution #modelling #state machine #symbolic computation
Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.
CAV-1998-Moore #proving
An ACL2 Proof of Write Invalidate Cache Coherence (JSM), pp. 29–38.
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.