The BMD virtual machine was inspired by the O'Caml virtual machine and thus shares many features. The machine is stack-based, with an accumulator. It natively recognizes a variety of types. Special care was taken to make the machine particularly safe with respect to types and scoping. Each machine also has a number of global fields, which must be allocated statically.
Subsections
Mason Smith
2008-06-11
