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.


[img] PDF
Download (267Kb)


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
Accepted Date and Publication Date:
Date Deposited: 20 Mar 2000
Last Modified: 31 Mar 2016 13:53
Further Information:Google Scholar

Actions (login required)

View Item View Item

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