A computer Proof of the Correctness of a Simple Optimizing Compiler for Expressions.
1977 · Defense Technical Information Center (DTIC) · 3 citations
J
J Strother Moore
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
206
Papers
7.2K
Citations
33
h-index
65
i10-index
J Strother Moore is an academic researcher from The University of Texas at Austin. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Logic, Reasoning, and Knowledge. The author has an h-index of 33, co-authored 176 publications.
ORCID: 0000-0002-9628-1702Papers by this author
worksAn ACL2 Proof of Write Invalidate Cache Coherence
1998 · 0 citations
Verification Condition Generation via Theorem Proving
2006 · 0 citations
Proof pearl: Dijkstra’s shortest path algorithm verified with ACL2
2005 · 0 citations
Java Program Verification via a JVM Deep Embedding in ACL2
2004 · 0 citations
Inductive Assertions and Operational Semantics
2003 · 0 citations
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat