Opening book details…
About this document
Programming A Smalltalk VM in Coq - Shingarov by jf.escalada92 is a document available to read on EtoBox.
- Author
- jf.escalada92
- Language
- EN
Checking…
Programming A Smalltalk VM in Coq - Shingarov
About this book
This document discusses the verification of a Smalltalk Virtual Machine (VM) using the Coq proof assistant, focusing on the native code generation part. The project, termed
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Availability
- Checking…