Open AccessAn Operational Investigation of the CPS Hierarchy
Author(s) -
Olivier Danvy,
Zhe Yang
Publication year - 1998
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v5i35.21957
Subject(s) - continuation , hierarchy , reset (finance) , modular design , computer science , operational semantics , programming language , semantics (computer science) , operator (biology) , control (management) , transformation (genetics) , theoretical computer science , artificial intelligence , chemistry , biochemistry , repressor , economics , gene , financial economics , transcription factor , market economy
We explore the hierarchy of control induced by successive transformations into continuation-passing style (CPS) in the presence of "control delimiters'' and "composable continuations''. Specifically, we investigate the structural operational semantics associated with the CPS hierarchy. To this end, we characterize an operational notion of continuation semantics. We relate it to the traditional CPS transformation and we use it to account for the control operator shift and the control delimiter reset operationally. We then transcribe the resulting continuation semantics in ML, thus obtaining a native and modular implementation of the entire hierarchy. We illustrate it with a few examples, the most significant of which is layered monads. P.S. Not published. No full text available.