Del 14360 i serien Lecture Notes in Computer Science

Active Object Languages: Current Research Trends

Häftad, Engelska, 2024

AvFrank de Boer,Ferruccio Damiani,Reiner Hähnle,Einar Broch Johnsen,Eduard Kamburjan

1 089 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2024-01-29
Mått155 x 235 x 21 mm
Vikt587 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor375
FörlagSpringer International Publishing AG
ISBN9783031510595

Tillhör följande kategorier

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.