An Operational Semantics for a Parallel Language with Continuations
Moreau, Luc (1992) An Operational Semantics for a Parallel Language with Continuations. In, Parallel Architectures and Languages Europe (PARLE'92) Springer-Verlag, 415.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (258Kb) |
Description/Abstract
Explicit parallelism can be introduced in Scheme by adding the constructs fork, pcall and future. Katz and Weise gave an implementation where those constructs are transparent even when first class continuations are used. In this paper, we formalise this work by giving an operational semantics for a functional language with first class continuations and transparent constructs for parallelism. We introduce a concept of higher order continuation that we call metacontinuation which preserves sequential properties of continuations in a parallel language.
| Item Type: | Conference or Workshop Item (Other) |
|---|---|
| Additional Information: | Address: Paris, France |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 252762 |
| Date Deposited: | 20 Mar 2000 |
| Last Modified: | 02 Mar 2012 13:40 |
| Contributors: | Moreau, Luc (Author) Etiemble, D. (Editor) Syre, J.-C. (Editor) |
| Date: | 1992 |
| Additional Information: | Address: Paris, France |
| Status: | Published |
| Publisher: | Springer-Verlag |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/252762 |
Actions (login required)
 |
View Item |
