Active Object Languages: Current Research Trends

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 Rus...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: de Boer, Frank (Editor), Damiani, Ferruccio (Editor), Hähnle, Reiner (Editor), Broch Johnsen, Einar (Editor), Kamburjan, Eduard (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Udgivelse:1st ed. 2024.
Serier:Lecture Notes in Computer Science, 14360
Fag:
Online adgang:https://doi.org/10.1007/978-3-031-51060-1
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Summary: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.
Fysisk beskrivelse:1 online resource (X, 375 p. 132 illus.). 68 illus. in color.
ISBN:9783031510601
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-51060-1