A modular structural operational semantics for delimited continuations

Sculthorpe, N. ORCID: 0000-0002-7244-0916, Torrini, P. and Mosses, P.D., 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

Views

Downloads