Cantitate/Preț
Produs
Total produse
Vezi coșul
Active Object Languages: Current Research Trends de Frank de Boer

Active Object Languages: Current Research Trends: Lecture Notes in Computer Science, cartea 14360

Editat de Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
en Limba Engleză Paperback – 29 ian 2024
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 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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 44161 lei

Preț vechi: 55202 lei
-20% Nou

Puncte Express: 662
Preț estimativ în valută:
8450€ • 8924$ • 7032£

Carte tipărită la comandă

Livrare economică 11-25 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031510595
ISBN-10: 3031510593
Pagini: 375
Ilustrații: X, 375 p. 132 illus., 68 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.54 kg
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.

Textul de pe ultima copertă

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 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.

Caracteristici

First comprehensive overview on the state of art in active object languages Contributors are experts in distributed systems, formal methods, and programming languages Valuable for researchers and practitioners in software engineering and foundations of programming