Active Object Languages: Current Research Trends
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
First comprehensive overview on the state of art in active object languages Contributors are experts in distributed systems, formal methods, and programming languages Valuable for researchers and practitioners in software engineering and foundations of programming
Autor*in
Frank de Boer
Themen in »Active Object Languages: Current Research Trends«
Computer Science Informatics Conference Proceedings Research Applications