The semantics of future and an application

DOI10.1017/S0956796899003329zbMath0926.68075OpenAlexW2114712579MaRDI QIDQ4256146

Matthias Felleisen, Cormac Flanagan

Publication date: 28 June 1999

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796899003329

zbMATH Keywords

operational semanticsMultiLisp

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Behavioral interface description of an object-oriented language with futures and promises, A concurrent lambda calculus with futures, ASP\(_{\text{fun}}\) : a typed functional active object calculus, Dependence analysis for safe futures, Backwards type analysis of asynchronous method calls, A Proof System for a PGAS Language, Dynamic structural operational semantics, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures