Map
Index
Random
Help
th

Quote: denotational semantics of goto statements as continuations; rudimentary language allows goto during expression evaluation

QuoteRef: straC1_1974 , p. 135



Topic:
continuation
Topic:
semantics by an abstract machine

Quotation Skeleton

The purpose of this paper is to explain … [denotational] semantics of a programming language which includes a very general … the actual language described in this paper is … inconvenient moments, and in particular to jump out … the method of "continuations", has been developed from … [ref] and, independently, by F.L. Morris [ref], extending the work of … [refs] …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: continuation (16 items)
Topic: semantics by an abstract machine (38 items)

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