LEADER 04070nam  22007935  450 
001 9910806197803321
005 20240128071348.0
010   $a3-031-51060-7
024 7 $a10.1007/978-3-031-51060-1
035   $a(MiAaPQ)EBC31092488
035   $a(Au-PeEL)EBL31092488
035   $a(DE-He213)978-3-031-51060-1
035   $a(MiAaPQ)EBC31093995
035   $a(Au-PeEL)EBL31093995
035   $a(EXLCZ)9930115808300041
100   $a20240128d2024      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aActive Object Languages: Current Research Trends$b[electronic resource] /$fedited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (382 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14360
311 08$aPrint version: de Boer, Frank Active Object Languages: Current Research Trends Cham : Springer International Publishing AG,c2024 9783031510595 
327   $aActive 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.
330   $aActive 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14360
606   $aComputer programming
606   $aMicroprogramming
606   $aComputer input-output equipment
606   $aLogic design
606   $aComputer networks
606   $aMicroprocessors
606   $aComputer architecture
606   $aProgramming Techniques
606   $aControl Structures and Microprogramming
606   $aInput/Output and Data Communications
606   $aLogic Design
606   $aComputer Communication Networks
606   $aProcessor Architectures
615  0$aComputer programming.
615  0$aMicroprogramming.
615  0$aComputer input-output equipment.
615  0$aLogic design.
615  0$aComputer networks.
615  0$aMicroprocessors.
615  0$aComputer architecture.
615 14$aProgramming Techniques.
615 24$aControl Structures and Microprogramming.
615 24$aInput/Output and Data Communications.
615 24$aLogic Design.
615 24$aComputer Communication Networks.
615 24$aProcessor Architectures.
676   $a005.11
700   $ade Boer$b Frank$01592036
701   $aDamiani$b Ferruccio$01592037
701   $aHähnle$b Reiner$01351240
701   $aBroch Johnsen$b Einar$01592038
701   $aKamburjan$b Eduard$01592039
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910806197803321
996   $aActive Object Languages: Current Research Trends$93907880
997   $aUNINA