| 
|
Quote: one machine state and multiple environments; environment only altered by the variable binding operator
Topic:
evaluation in an environment
Topic:
semantics by an abstract machine
Quotation Skeleton
One particular semantic function plays an important role … denoted by the identifiers in the language. The … Other commands may alter the machine state (for … only one .phi. at the time can be … modifications of an old one, and it is … the old .phi.) is restored. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: evaluation in an environment (35 items)
Topic: semantics by an abstract machine (38 items)