Abstract Machine

A machine used in evaluating a expression. Has the form:

$$Eval⟨\text{code},\text{env},\text{stack}⟩$$