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...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Edition: | 1st ed. 2024. |
| Series: | Lecture Notes in Computer Science,
14360 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-031-51060-1 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of 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.