The University of Southampton
University of Southampton Institutional Repository

Sound rules for parallel evaluation of a functional language with callcc

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
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). p. 125 .

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
Download (274kB)

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
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 20 Mar 2000
Last modified: 14 Mar 2024 05:22

Export record

Contributors

Author: Luc Moreau ORCID iD
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

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.

×