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 At International Conference on Programming Language Implementation and Logic Programming (PLILP'94). , p. 182.

Download

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

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 (Paper)
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
ePrint ID: 252764
Date :
Date Event
1994Published
Date Deposited: 20 Mar 2000
Last Modified: 17 Apr 2017 23:29
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252764

Actions (login required)

View Item View Item