Sculthorpe, N ORCID: https://orcid.org/0000-0002-7244-0916, Torrini, P and Mosses, PD, 2016. A modular structural operational semantics for delimited continuations. Electronic Proceedings in Theoretical Computer Science, 212, pp. 63-80. ISSN 2075-2180
Preview |
Text
PubSub5534_Sculthorpes.pdf - Post-print Download (255kB) | Preview |
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.
Item Type: | Journal article |
---|---|
Publication Title: | Electronic Proceedings in Theoretical Computer Science |
Creators: | Sculthorpe, N., Torrini, P. and Mosses, P.D. |
Publisher: | Open Publishing Association |
Date: | 19 June 2016 |
Volume: | 212 |
ISSN: | 2075-2180 |
Identifiers: | Number Type 10.4204/EPTCS.212.5 DOI |
Divisions: | Schools > School of Science and Technology |
Record created by: | Linda Sullivan |
Date Added: | 22 Jun 2016 12:38 |
Last Modified: | 13 Oct 2017 13:43 |
URI: | https://irep.ntu.ac.uk/id/eprint/28006 |
Actions (login required)
Edit View |
Statistics
Views
Views per month over past year
Downloads
Downloads per month over past year