The University of Southampton
University of Southampton Institutional Repository

Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators

Record type: Conference or Workshop Item (Paper)

We define a partial continuation as the difference of two continuations. We exhibit, in a single framework, several design choices and their impact on semantics. The ability of partial continuations to manipulate stack frames blurs the nature of dynamic extent; therefore, we introduce a new concept of prefixal extent that characterises the time during which a partial continuation can be reified. We propose two equivalent formal semantics for partial continuations: a context-rewriting system and a cps translation. Two new and realistic examples illustrate both the interest of partial continuations and the expressiveness of our choices.

PDF Partial_Continuations_as_the_Difference_of_Continuations.pdf - Accepted Manuscript
Download (265kB)

Citation

Moreau, Luc and Queinnec, Christian (1994) Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators At International Conference on Programming Language Implementation and Logic Programming (PLILP'94). , p. 182.

More information

Published date: 1994
Additional Information: Also in {\em Les {E}crits d'{I}cslas. {J}anvier-{D}\'{e}cembre 1993}. Rapport de Recherche. LIX RR 93.05. Laboratoire d'Informatique de l'Ecole Polytechnique, 91128 Palaiseau Cedex, France. Address: Madrid, Spain
Venue - Dates: International Conference on Programming Language Implementation and Logic Programming (PLILP'94), 1994-01-01
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 252764
URI: http://eprints.soton.ac.uk/id/eprint/252764
PURE UUID: 944ea982-1279-4ce8-b21a-1d77a985d771
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 20 Mar 2000
Last modified: 18 Jul 2017 10:02

Export record

Contributors

Author: Luc Moreau ORCID iD
Author: Christian Queinnec

University divisions


Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×