The University of Southampton
University of Southampton Institutional Repository

Sound rules for parallel evaluation of a functional language with callcc

Record type: Conference or Workshop Item (Paper)

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.

PDF Sound_rules_for_parallel_Evaluation_of_a_Functional_Language_with_callcc.pdf - Accepted Manuscript
Download (274kB)

Citation

Moreau, Luc and Ribbens, Daniel (1993) Sound rules for parallel evaluation of a functional language with callcc At ACM conference on Functional Programming and Computer Architecture (FPCA'93). , p. 125.

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: 18 Jul 2017 10:02

Export record

Contributors

Author: Luc Moreau ORCID iD
Author: Daniel Ribbens

University divisions


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.

×