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 or Solaris)",  charset=iso-8859-1,  fetched Tuesday, 19-Sep-2017 14:36:24 EDT.

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