A Complete Guide to the Future

DOI10.1007/978-3-540-71316-6_22zbMath1475.68045OpenAlexW2098400709MaRDI QIDQ5756504

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

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

Related Items (25)

May-Happen-in-Parallel Analysis for Actor-Based Concurrency ⋮ On detecting over-eager concurrency in asynchronously communicating concurrent object systems ⋮ Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ Behavioural semantics for asynchronous components ⋮ Rely-guarantee termination and cost analyses of loops with concurrent interleavings ⋮ Compositional reasoning about active objects with shared futures ⋮ A reduction semantics for direct-style asynchronous observables ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ Termination detection for active objects ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ Symbolic execution formally explained ⋮ Backwards type analysis of asynchronous method calls ⋮ Actor-based model checking for software-defined networks ⋮ Observable interface behaviour and inheritance ⋮ Lazy behavioral subtyping ⋮ A Proof System for a PGAS Language ⋮ Concurrent Objects à la Carte ⋮ Deadlock detection for actor-based coroutines ⋮ SDN-actors: modeling and verification of SDN programs ⋮ Validating Timed Models of Deployment Components with Parametric Concurrency ⋮ Asynchronous sequential processes ⋮ A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* ⋮ Dynamic structural operational semantics ⋮ Testing Concurrent Objects with Application-Specific Schedulers

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