Active Object Languages: Current Research Trends

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Frank de Boer Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Eduard Kamburjan 

I S B N：(纸本) 9783031510595 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：X, 375页

主 题 词：Programming Techniques Control Structures and Microprogramming Input/Output and Data Communications Logic Design Computer Communication Networks Processor Architectures 

摘      要：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.