×

Continuations: A mathematical semantics for handling full jumps. (English) Zbl 0951.68078

Summary: This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.

MSC:

68Q55 Semantics in the theory of computing
68N15 Theory of programming languages
PDF BibTeX XML Cite
Full Text: DOI