A Modular Structural Operational Semantics for Delimited Continuations
Programming Languages
2016-06-22 v1
Abstract
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift.
Cite
@article{arxiv.1606.06381,
title = {A Modular Structural Operational Semantics for Delimited Continuations},
author = {Neil Sculthorpe and Paolo Torrini and Peter D. Mosses},
journal= {arXiv preprint arXiv:1606.06381},
year = {2016}
}
Comments
In Proceedings WoC 2015, arXiv:1606.05839