The Semantics of pcall and fork

Moreau, Luc and Ribbens, Daniel (1995) The Semantics of pcall and fork. Halstead, R., Ito, T. and Queinnec, C. (eds.) PSLS 95 -- Parallel Symbolic Langages and Systems. p. 52 .

Record type: Conference or Workshop Item (Paper)

Abstract

We present the semantics of the annotations pcall and fork for parallel evaluation of Scheme. Annotated programs are proved to be behaviourly indistinguishable from their non-annotated counterparts, even in the presence of first-class continuations and side-effects. The semantics takes the form of an abstract machine, which can be regarded as a guideline for an implementation.

Text

The_Semantics_of_pcall_and_fork_in_the_presence_of_firs-class_continuations_and_side-effects.pdf - Accepted Manuscript

Download (401kB)

More information

Published date: 1995

Additional Information: Address: Beaune, France

Venue - Dates: PSLS 95 -- Parallel Symbolic Langages and Systems, 1995-01-01

Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 252768

URI: http://eprints.soton.ac.uk/id/eprint/252768

PURE UUID: 6b1de7c7-d920-4ee5-9776-ef9800b1260a

ORCID for Luc Moreau:

orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 20 Mar 2000

Last modified: 14 Mar 2024 05:23

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Luc Moreau

Author: Daniel Ribbens

Editor: R. Halstead

Editor: T. Ito

Editor: C. Queinnec

Download statistics

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

Library staff additional information