webHauser Blog

The meta-execution stack is a PostScript array, into which the metacircular
interpreter pushes continuations for control structures. (forall, loop, stopped,
etc…) A continuation is represented as a dictionary in which the state needed
by the control structure is stored (plus some other information to help with
debugging). It is written in such a way that it can interpret itself: It has its
own meta-execution stack to store the program’s state, and it stashes its own
state on the execution stack of the interpreter that’s interpreting it, so the
meta-interpreter’s state does not get in the way of the program it’s
interpreting.