Linear future semantics and its implementation

https://doi.org/10.1016/0167-6423(87)90005-0Get rights and content
Under an Elsevier user license
open archive

Abstract

We describe linear future semantics, an extension of linear history semantics as introduced by Francez, Lehmann, and Pnueli, and show how it can be used to add multiprocessing to languages given by standard continuation semantics. We then demonstrate how the resulting semantics can be implemented. The implementation uses functional abstractions and non-determinacy to represent the sets of answers in the semantics. We give an example, using a semantic prototyping system based on the language Scheme.

Cited by (0)

This material is based on work supported by the National Science Foundation under grant number MCS 8303325. Stefan Kölbl was killed in a bus accident in Ecuador shortly after completing the first draft of this paper.