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