A virtual machine simulation for imperative & functional programming languages.