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), 173.

Download

[img] PDF
Download (406Kb)

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
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 252765
Date Deposited: 20 Mar 2000
Last Modified: 27 Mar 2014 19:54
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/252765

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