From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

Wouter Swierstra

Published in: MSFP (2012)

Keyphrases

abstract machine
formal specification
data model
computer science
batch processing
formal methods
real world
expert systems
database
website
model checking
formal analysis
computer assisted instruction
printed circuit boards
attribute grammars