1 option
Active Object Languages: Current Research Trends / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan.
Springer Nature - Springer Computer Science eBooks 2024 English International Available online
View online- Format:
- Book
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 14360
- Language:
- English
- Subjects (All):
- Computer programming.
- Microprogramming.
- Computer input-output equipment.
- Logic design.
- Computer networks.
- Microprocessors.
- Computer architecture.
- Programming Techniques.
- Control Structures and Microprogramming.
- Input/Output and Data Communications.
- Logic Design.
- Computer Communication Networks.
- Processor Architectures.
- Local Subjects:
- Programming Techniques.
- Control Structures and Microprogramming.
- Input/Output and Data Communications.
- Logic Design.
- Computer Communication Networks.
- Processor Architectures.
- Physical Description:
- 1 online resource (382 pages)
- Edition:
- 1st ed. 2024.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
- 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.
- Contents:
- 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.
- Notes:
- Includes bibliographical references and index.
- Other Format:
- Print version: de Boer, Frank Active Object Languages: Current Research Trends
- ISBN:
- 3-031-51060-7
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.