Quote: mechanical evaluation of state machine; current state is stack of temporaries, environment, control, and dump

Note

mechanical evaluation through state machine. states of: Stack of temporaries, Environment, Control (list of AE's or "ap") and a Dump which is a state description. ... [p. 123] evaluation of (S, E, (X,C), D) goes to ((val EX,S'), E', C', D') where S,C are null and D=(S', E', C', D')

Related Topics

Topic: state machine (67 items)
Topic: evaluation in an environment (34 items)