home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

de boer frank (curatore); damiani ferruccio (curatore); hähnle reiner (curatore); broch johnsen einar (curatore); kamburjan eduard (curatore) - active object languages: current research trends

Active Object Languages: Current Research Trends

; ; ; ;




Disponibilità: solo 1 copia disponibile, compra subito!

Se ordini entro 14 ore e 47 minuti, consegna garantita in 48 ore lavorative
scegliendo le spedizioni Express



PREZZO
68,70 €
NICEPRICE
65,26 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 01/2024
Edizione: 1st ed. 2024





Trama

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.




Sommario

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.










Altre Informazioni

ISBN:

9783031510595

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:X, 375 p. 132 illus., 68 illus. in color.
Pagine Arabe: 375
Pagine Romane: x


Dicono di noi