Abstract VM

This is the topic of machines whose form is chosen so that it's easier to know certain properties of programs written for them.


Pages in this topic: Blue Calculus   Fusion Calculus   GENS   Geometry of Interaction Machine   Join Calculus   Lambda VM   Pi Calculus   Tube   Turing Machine  


Also linked from: Continuation-Passing Style   Virtual Machines