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