Direct semantics and exceptions define jumps and coroutines

LA home

Also see

Information Processing Letters, 31(6), pp.327-330, June 1989

Lloyd Allison

Abstract Direct semantics and continuation semantics are the two main styles of denotational semantics. Direct semantics is the simpler style but cannot define the semantics of jumps and other sequencers. This paper shows that, with the addition of exceptions, direct semantics can define sequencers. In contrast to the use of continuation semantics, nothing need be added to the semantics of commands unconnected with sequencers. Since exceptions can be defined in terms of the λ-calculus nothing need be added to the foundations of semantics.
[doi:10.1016/0020-0190(89)90097-5 ]['08]

↑ © L. Allison,   (or as otherwise indicated).
Created with "vi (Linux)",  charset=iso-8859-1,   fetched Thursday, 09-Jul-2020 10:36:29 EDT.

Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off.