School of Computing - University of Teesside - Middlesbrough (UK)

Menu of Content

Virtual Machines and Forth

Our interests in this area include algebraic type checking of stack effects and provision of an execution platform for reversible computations through a special version of the Forth stack based VM which provides for reversible execution by incorporating a history stack.

If you have difficulties accessing this website please email d.cumbor {at}