| 
|
QuoteRef: straC1_1974
Topic:
continuation
Topic:
semantics by an abstract machine
Topic:
goto statement
Topic:
separate a module's interface specification from its implementation
Topic:
evaluation in an environment
Reference
Strachey, C., Wadsworth, C.P., "Continuations: a mathematical semantics for handling full jumps", Technical Monograph PRG-11, Oxford University Computing Laboratory, Programming Research Group, Oxford, England, January 1974. Google
Other Reference
p. 135-152, Higher-Order and Symbolic Computation, vol. 13, num. 1/2, May 2000
135 ;;Quote: denotational semantics of goto statements as continuations; rudimentary language allows goto during expression evaluation
136 ;;Quote: a continuation is the state transformation from a command to the end of the program; thrown away for gotos; value of a label
148 ;;Quote: separate mathematical semantics from the operational semantics; define imperative and dynamic features as change-of-state functions on machine states
149 ;;Quote: one machine state and multiple environments; environment only altered by the variable binding operator
Topic: continuation (16 items)
Topic: semantics by an abstract machine (38 items)
Topic: goto statement (25 items)
Topic: separate a module's interface specification from its implementation (86 items)
Topic: evaluation in an environment (35 items)