CONTINUATIONS A MATHEMATICAL SEMANTICS FOR HANDLING FULL JUMPS
Christopher Strachey and Christopher P. Wadsworth
Abstract
This paper describes a method of giving the mathematical semantics of programming languages which include the most general forms of jumps.
Institution
OUCL
Month
January
Number
PRG11
Pages
31
Year
1974