A Complete Guide to the Future

DOI10.1007/978-3-540-71316-6_22MaRDI QIDQ5756504zbMATH OpenOpenAlexFDO

Authors Dave Clarke, Einar Broch Johnsen, Frank S. de Boer

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_22

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Compositional reasoning about active objects with shared futures
• scientific article; zbMATH DE number 6721685
• Compositional Reasoning about Shared Futures
• scientific article; zbMATH DE number 1231464
• Behavioral interface description of an object-oriented language with futures and promises

Cited in

(37)

• Backwards type analysis of asynchronous method calls
• Validating timed models of deployment components with parametric concurrency
• Symbolic execution formally explained
• A proof system for a PGAS language
• Concurrent objects à la carte
• Dynamic structural operational semantics
• An evaluation of interaction paradigms for active objects
• Actor-based model checking for software-defined networks
• SDN-actors: modeling and verification of SDN programs
• A structural approach to prophecy variables
• Asynchronous sequential processes
• Testing Concurrent Objects with Application-Specific Schedulers
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• Deadlock detection for actor-based coroutines
• Termination detection for active objects
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• Behavioral interface description of an object-oriented language with futures and promises
• An autonomous data language
• Towards a \(\mathbb{K}\)ool future
• Lazy behavioral subtyping
• Compositional reasoning about active objects with shared futures
• Behavioural semantics for asynchronous components
• May-happen-in-parallel analysis for actor-based concurrency
• A sound and complete reasoning system for asynchronous communication with shared futures
• Integrating deployment architectures and resource consumption in timed object-oriented models
• The semantics of Scheme with future
• The truth about the future
• Observable interface behaviour and inheritance
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings
• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
• Back to futures
• Securing the future -- an information flow analysis of a distributed OO language
• On the nature of symbolic execution
• Axiomatic characterization of trace reachability for concurrent objects
• A reduction semantics for direct-style asynchronous observables

This page was built for publication: A Complete Guide to the Future

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