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
1996
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).
.
(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
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
Catalogue record
Date deposited: 20 Mar 2000
Last modified: 14 Mar 2024 05:22
Export record
Altmetrics
Contributors
Author:
Luc Moreau
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