000 04053nam a22006735i 4500
001 978-3-031-51060-1
003 DE-He213
005 20240730171107.0
007 cr nn 008mamaa
008 240128s2024 sz | s |||| 0|eng d
020 _a9783031510601
_9978-3-031-51060-1
024 7 _a10.1007/978-3-031-51060-1
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aUM
_2thema
082 0 4 _a005.11
_223
245 1 0 _aActive Object Languages: Current Research Trends
_h[electronic resource] /
_cedited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aX, 375 p. 132 illus., 68 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14360
505 0 _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.
520 _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.
650 0 _aComputer programming.
_94169
650 0 _aMicroprogramming .
_932081
650 0 _aComputer input-output equipment.
_922942
650 0 _aLogic design.
_93686
650 0 _aComputer networks .
_931572
650 0 _aMicroprocessors.
_997032
650 0 _aComputer architecture.
_93513
650 1 4 _aProgramming Techniques.
_997033
650 2 4 _aControl Structures and Microprogramming.
_932083
650 2 4 _aInput/Output and Data Communications.
_937326
650 2 4 _aLogic Design.
_93686
650 2 4 _aComputer Communication Networks.
_997036
650 2 4 _aProcessor Architectures.
_997038
700 1 _ade Boer, Frank.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997040
700 1 _aDamiani, Ferruccio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997042
700 1 _aHähnle, Reiner.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997043
700 1 _aBroch Johnsen, Einar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997045
700 1 _aKamburjan, Eduard.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997047
710 2 _aSpringerLink (Online service)
_997049
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031510595
776 0 8 _iPrinted edition:
_z9783031510618
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14360
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-51060-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c87391
_d87391