Sound Rules for Parallel Evaluation of a Functional Language with callcc


Moreau, Luc and Ribbens, Daniel (1993) Sound Rules for Parallel Evaluation of a Functional Language with callcc. In, ACM conference on Functional Programming and Computer Architecture (FPCA'93) , 125.

Download

[img] PDF
Download (267Kb)

Description/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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Copenhagen, Denmark
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 252763
Date Deposited: 20 Mar 2000
Last Modified: 27 Mar 2014 19:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252763

Actions (login required)

View Item View Item