Strachey, Christopher; Wadsworth, Christopher P. Continuations: A mathematical semantics for handling full jumps. (English) Zbl 0951.68078 High.-Order Symb. Comput. 13, No. 1-2, 135-152 (2000). Summary: This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps. Cited in 22 Documents MSC: 68Q55 Semantics in the theory of computing 68N15 Theory of programming languages Keywords:mathematical semantics of programming languages; jumps PDF BibTeX XML Cite \textit{C. Strachey} and \textit{C. P. Wadsworth}, High.-Order Symb. Comput. 13, No. 1--2, 135--152 (2000; Zbl 0951.68078) Full Text: DOI OpenURL