Sound rules for parallel evaluation of a functional language with callcc
Sound rules for parallel evaluation of a functional language with callcc
Observationally equivalent programs are programs which are indistinguishable in all contexts, as far as their termination property is concerned. In this paper, we present rules preserving observational equivalence, for the parallel evaluation of programs using call/cc. These rules allow the capture of continuations in any applicative context and they prevent from aborting the whole computation when a continuation is applied in the extent of the call/cc by which it was reified. As a consequence, these results prove that one can design a functional language with first-class continuations which has transparent constructs for parallelism.
125
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Ribbens, Daniel
60a379e8-839c-46dc-b22f-74e1db48ebe2
1993
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Ribbens, Daniel
60a379e8-839c-46dc-b22f-74e1db48ebe2
Moreau, Luc and Ribbens, Daniel
(1993)
Sound rules for parallel evaluation of a functional language with callcc.
ACM conference on Functional Programming and Computer Architecture (FPCA'93).
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Observationally equivalent programs are programs which are indistinguishable in all contexts, as far as their termination property is concerned. In this paper, we present rules preserving observational equivalence, for the parallel evaluation of programs using call/cc. These rules allow the capture of continuations in any applicative context and they prevent from aborting the whole computation when a continuation is applied in the extent of the call/cc by which it was reified. As a consequence, these results prove that one can design a functional language with first-class continuations which has transparent constructs for parallelism.
Text
Sound_rules_for_parallel_Evaluation_of_a_Functional_Language_with_callcc.pdf
- Accepted Manuscript
More information
Published date: 1993
Additional Information:
Address: Copenhagen, Denmark
Venue - Dates:
ACM conference on Functional Programming and Computer Architecture (FPCA'93), 1993-01-01
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 252763
URI: http://eprints.soton.ac.uk/id/eprint/252763
PURE UUID: 43e452bb-4a5c-4818-9e7e-aa7fdab67fbd
Catalogue record
Date deposited: 20 Mar 2000
Last modified: 14 Mar 2024 05:22
Export record
Contributors
Author:
Luc Moreau
Author:
Daniel Ribbens
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