Moreau, Luc and Ribbens, Daniel
Sound rules for parallel evaluation of a functional language with callcc
At ACM conference on Functional Programming and Computer Architecture (FPCA'93).
- Accepted Manuscript
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.
Conference or Workshop Item
||Address: Copenhagen, Denmark
|Venue - Dates:
||ACM conference on Functional Programming and Computer Architecture (FPCA'93), 1993-01-01
||Web & Internet Science
||20 Mar 2000
||17 Apr 2017 23:29
|Further Information:||Google Scholar|
Actions (login required)