Map
Index
Random
Help
th

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

topics > all references > references i-l > QuoteRef: landPJ_1966 , p. 123 [



Topic:
state machine
Topic:
evaluation in an environment

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 up

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

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.