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:
2012
2010
2002
2002
20011998
199019861976Wrote 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.