책 이미지

책 정보
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9783031510595
· 쪽수 : 375쪽
· 출판일 : 2024-01-29
목차
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.