Map
Index
Random
Help
th

Quote: a continuation is the state transformation from a command to the end of the program; thrown away for gotos; value of a label

QuoteRef: straC1_1974 , p. 136



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.


Related Topics up

Topic: continuation (16 items)
Topic: goto statement (25 items)

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