Open AccessA Simple Proof of a Folklore Theorem about Delimited Control
Author(s) -
Dariusz Biernacki,
Olivier Danvy
Publication year - 2005
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v12i25.21892
Subject(s) - simple (philosophy) , folklore , control (management) , computer science , reset (finance) , semantics (computer science) , calculus (dental) , algebra over a field , mathematics , arithmetic , programming language , pure mathematics , artificial intelligence , philosophy , epistemology , geography , medicine , archaeology , dentistry , financial economics , economics
We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics.