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

[img]
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:
NumberType
10.4204/EPTCS.212.5DOI
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 Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year