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...
Gespeichert in:
Weitere Verfasser: | , , , , |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Cham
Springer
2024
|
Schriftenreihe: | Lecture notes in computer science
14360 |
Schlagworte: | |
Online Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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. |
---|---|
Beschreibung: | Literaturangaben |
Beschreibung: | x, 374 Seiten Diagramme |
ISBN: | 9783031510595 978-3-031-51059-5 |