`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: Moore:J=_Strother

### Contributed to:

### 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.