Higher-Order and Symbolic Computation

, Volume 20, Issue 4, pp 371–401

A static simulation of dynamic delimited control


DOI: 10.1007/s10990-007-9010-4

Cite this article as:
Shan, C. Higher-Order Symb Comput (2007) 20: 371. doi:10.1007/s10990-007-9010-4


We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s \(\verb|control|\) and \(\verb|prompt|\) , that extends a standard call-by-value CPS transformation. Based on this new transformation, we show how Danvy and Filinski’s static delimited-control operators \(\verb|shift|\) and \(\verb|reset|\) simulate dynamic operators, allaying in passing some skepticism in the literature about the existence of such a simulation. The new CPS transformation and simulation use recursive delimited continuations to avoid undelimited control and the overhead it incurs in implementation and reasoning.


Delimited control operatorsMacro expressibilityContinuation-passing style (CPS)Shift and resetControl and prompt

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Department of Computer ScienceRutgers UniversityPiscatawayUSA