The semantics of scheme with future


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

Download

[img] PDF icfp96 - Accepted Manuscript
Download (14MB)

Description/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.

Item Type: Conference or Workshop Item (Other)
Digital Object Identifier (DOI): doi:10.1145/232629.232644
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
ePrint ID: 252761
Date :
Date Event
1996Published
Date Deposited: 20 Mar 2000
Last Modified: 17 Apr 2017 23:29
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252761

Actions (login required)

View Item View Item