Active Object Languages: Current Research Trends
Published on 29. January 2024
Book
Paperback/Softback
X, 375 pages
978-3-031-51059-5 (ISBN)
Description
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
More details
Series
Edition
2024 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
64 s/w Abbildungen, 68 farbige Abbildungen
X, 375 p. 132 illus., 68 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 21 mm
Weight
587 gr
ISBN-13
978-3-031-51059-5 (9783031510595)
DOI
10.1007/978-3-031-51060-1
Schweitzer Classification
Other editions
Additional editions
Frank de Boer | Ferruccio Damiani | Reiner Hähnle
Active Object Languages: Current Research Trends
E-Book
01/2024
Springer
€80.24
Available for download
Content
Active Objects based on Algebraic Effects.- Actor-based Designs for Distributed Self-organisation Programming.- Encore: Coda.- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems.- A Survey of Actor-Like Programming Models for Serverless Computing.- Programming Language Implementations with Multiparty Session Types.- Modelling.- Integrated Timed Architectural Modeling/Execution Language.- Simulating User Journeys with Active Objects.- Actors Upgraded for Variability, Adaptability, and Determinism.- Analysis.- Integrating Data Privacy Compliance in Active Object Languages.- Context-aware Trace Contracts.- Type-Based Verification of Delegated Control in Hybrid Systems.- Enforced Dependencies for Active Objects.