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


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

Download

[img] PDF
Download (258Kb)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Other)
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
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 252764
Date Deposited: 20 Mar 2000
Last Modified: 27 Mar 2014 19:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252764

Actions (login required)

View Item View Item

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