Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete

DOI10.1007/978-3-319-08970-6_26zbMath1416.68173OpenAlexW1036188440MaRDI QIDQ2879266

J. Strother Moore

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_26

zbMATH Keywords

Turing machineACL2verifying compilerJava virtual machine (JVM)von Neumann machine

Mathematics Subject Classification ID

Uses Software

• VCC
• Unnamed Item

This page was built for publication: Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete