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.


[img] PDF
Download (258Kb)


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
Accepted Date and Publication Date:
Date Deposited: 20 Mar 2000
Last Modified: 31 Mar 2016 13:53
Further Information:Google Scholar

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