?

Log in

No account? Create an account

_xacid_

A Dynamic Interpretation of the CPS Hierarchy

A Dynamic Interpretation of the CPS Hierarchy

Previous Entry Share Next Entry
http://www.ii.uni.wroc.pl/~dabi/publications/APLAS12/materzok-biernacki-aplas12.pdf

A Dynamic Interpretation of the CPS Hierarchy

Marek Materzok and Dariusz Biernacki, University of Wrocław, Wrocław, Poland

Abstract: The CPS hierarchy of control operators shifti / reseti 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 shift0 / reset0, 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 shift0 / reset0 and it offers a new perspective on practical applications of the CPS hierarchy.
Powered by LiveJournal.com