Linear future semantics and its implementation (Q1822488)

We describe linear future semantics, an extension of linear history semantics as introduced by \textit{N. Francez}, \textit{D. J. Lehmann}, and \textit{A. Pnueli} [Theor. Comput. Sci. 32, 25-46 (1984; Zbl 0543.68019)] 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.