An Operational Semantics for a Parallel Language with Continuations


Moreau, Luc, (1992) An Operational Semantics for a Parallel Language with Continuations Etiemble, D. and Syre, J.-C. (eds.) At Parallel Architectures and Languages Europe (PARLE'92). , p. 415.

Download

[img] PDF An_operational_semantics_for_a_parallel_language_with_continuations.pdf - Accepted Manuscript
Download (264kB)

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 (Paper)
Additional Information: Address: Paris, France
Venue - Dates: Parallel Architectures and Languages Europe (PARLE'92), 1992-01-01
Organisations: Web & Internet Science
ePrint ID: 252762
Date :
Date Event
1992Published
Date Deposited: 20 Mar 2000
Last Modified: 17 Apr 2017 23:29
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252762

Actions (login required)

View Item View Item