| 
|
Quote: a continuation is the state transformation from a command to the end of the program; thrown away for gotos; value of a label
Topic:
continuation
Topic:
goto statement
Quotation Skeleton
the semantic equations for sequencing takes the form … [[y_0; y_1] … ] … [[y_1] … ] … [[y_0] … ] … [p. 139] We must define … a semantic function which yields, for every command … of the program. … The argument .theta. [the rest of the program] is called a continuation … it is possible to :"throw away" the normal … [p. 141] The value of a label will be … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: continuation (16 items)
Topic: goto statement (25 items)