The University of Southampton
University of Southampton Institutional Repository

The semantics of scheme with future

The semantics of scheme with future
The semantics of scheme with future
We present the formal semantics of future in a Scheme-like language which has both side-effects and first-class continuations. Correctness is established by proving that programs annotated by future have the same observable behaviour as their non-annotated counterparts, even though evaluation may be parallel.
146-156
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8

Moreau, Luc (1996) The semantics of scheme with future. ACM SIGPLAN International Conference on Functional Programming (ICFP'96). pp. 146-156 . (doi:10.1145/232629.232644).

Record type: Conference or Workshop Item (Other)

Abstract

We present the formal semantics of future in a Scheme-like language which has both side-effects and first-class continuations. Correctness is established by proving that programs annotated by future have the same observable behaviour as their non-annotated counterparts, even though evaluation may be parallel.

Text
icfp96 - Accepted Manuscript
Download (14MB)

More information

Published date: 1996
Additional Information: Also in {\em ACM SIGPLAN Notices\/}, 31(6):146-156, June 1996. Address: Philadelphia, Pennsylvania
Venue - Dates: ACM SIGPLAN International Conference on Functional Programming (ICFP'96), 1996-01-01
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 252761
URI: http://eprints.soton.ac.uk/id/eprint/252761
PURE UUID: 48cdcd79-ccac-4dd2-81e8-32c10c182630
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 20 Mar 2000
Last modified: 14 Mar 2024 05:22

Export record

Altmetrics

Contributors

Author: Luc Moreau ORCID iD

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×