A Complete Guide to the Future
From MaRDI portal
Publication:5756504
Recommendations
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)