A Complete Guide to the Future
DOI10.1007/978-3-540-71316-6_22zbMATH Open1475.68045OpenAlexW2098400709MaRDI QIDQ5756504FDOQ5756504
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
Recommendations
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)
Cited In (36)
- Backwards type analysis of asynchronous method calls
- 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
- An autonomous data language
- 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
- Towards a \(\mathbb{K}\)ool future
- Lazy behavioral subtyping
- Compositional reasoning about active objects with shared futures
- May-happen-in-parallel analysis for actor-based concurrency
- Behavioural semantics for asynchronous components
- 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
- Observable interface behaviour and inheritance
- The truth about the future
- Asynchronous Cooperative Contracts for Cooperative Scheduling
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- 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
- Validating timed models of deployment components with parametric concurrency
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)
