The semantics of future and an application

DOI10.1017/S0956796899003329MaRDI QIDQ4256146zbMATH OpenOpenAlexFDO

Authors Cormac Flanagan, Matthias Felleisen

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

MultiLispoperational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The semantics of Scheme with future
• An assessment of Multilisp: Lessons from experience
• Linear future semantics and its implementation
• Dependence analysis for safe futures
• scientific article; zbMATH DE number 4016177

Cited in

(13)

• An assessment of Multilisp: Lessons from experience
• Dynamic structural operational semantics
• The semantics of Scheme with future
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• Dependence analysis for safe futures
• A proof system for a PGAS language
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• Modular analysis of distributed hybrid systems using post-regions
• Optimizing a non-deterministic abstract machine with environments
• Behavioral interface description of an object-oriented language with futures and promises
• A concurrent lambda calculus with futures
• Backwards type analysis of asynchronous method calls

This page was built for publication: The semantics of future and an application

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256146)