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 At ACM conference on Functional Programming and Computer Architecture (FPCA'93). , p. 125.

Download

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

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
Venue - Dates: ACM conference on Functional Programming and Computer Architecture (FPCA'93), 1993-01-01
Organisations: Web & Internet Science
ePrint ID: 252763
Date :
Date Event
1993Published
Date Deposited: 20 Mar 2000
Last Modified: 17 Apr 2017 23:29
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252763

Actions (login required)

View Item View Item