2012 | OriginalPaper | Buchkapitel
A Dynamic Interpretation of the CPS Hierarchy
verfasst von : Marek Materzok, Dariusz Biernacki
Erschienen in: Programming Languages and Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The CPS hierarchy of control operators
shift
i
/reset
i
of Danvy and Filinski is a natural generalization of the
shift
and
reset
static control operators that allow for abstracting delimited control in a structured and CPS-guided manner. In this article we show that a dynamic variant of
shift/reset
, known as
shift
0
/
reset
0
, where the discipline of static access to the stack of delimited continuations is relaxed, can fully express the CPS hierarchy. This result demonstrates the expressive power of
shift
0
/reset
0
and it offers a new perspective on practical applications of the CPS hierarchy.