A micro VM Implementation

A micro VM Implementation

Description

This project is to develop a principled implementation of the micro Virtual Machine that is being developed in the Computer Systems group. The virtual machine will soon have at least one prototype implementation, but we would like to demonstrate that the basic functionality can be implemented in multiple styles. 

This project would aim to write a micro VM implementation in a functional language such as SML or Haskell. Apart from providing another vehicle for testing our ideas, such an implementation might also be rather easier to reason about formally. 

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing