A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics


Moreau, Luc (1995) A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics Computers and Artificial Intelligence, 14, (2), p. 173.

Download

[img] PDF A_Parallel_Functional_Language_with_First-Class_Continuations.pdf - Accepted Manuscript
Download (415kB)

Description/Abstract

We present an operational semantics for a functional language with first-class continuations and transparent constructs for parallelism fork and pcall. The sequential semantics of programs with first-class continuations is preserved when parallel evaluation is allowed, by verifying whether some expressions have returned a value before applying a continuation. These expressions are the ones that are evaluated before this continuation is applied in a left-to-right sequential order. An implementation is proposed using a notion of higher-order continuation that we call metacontinuation. This semantics is costless when first-class continuations are not used. Several programs also illustrate the programming style that can be adopted in such a language.

Item Type: Article
Organisations: Web & Internet Science
ePrint ID: 252765
Date :
Date Event
1995Published
Date Deposited: 20 Mar 2000
Last Modified: 17 Apr 2017 23:29
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252765

Actions (login required)

View Item View Item