David J. Pearce (Formalising a Simple Virtual Machine) whileydave.com/2022/06/28/formalising-a-simple-virtual-machine # programming,stack_machine 2023-07-01 20:43 UTC Copy 400.