Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends
Author :
Publisher : Springer Nature
Total Pages : 383
Release :
ISBN-10 : 9783031510601
ISBN-13 : 3031510607
Rating : 4/5 (607 Downloads)

Book Synopsis Active Object Languages: Current Research Trends by : Frank de Boer

Download or read book Active Object Languages: Current Research Trends written by Frank de Boer and published by Springer Nature. This book was released on 2024-01-28 with total page 383 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Active Object Languages: Current Research Trends Related Books

Active Object Languages: Current Research Trends
Language: en
Pages: 383
Authors: Frank de Boer
Categories: Computers
Type: BOOK - Published: 2024-01-28 - Publisher: Springer Nature

GET EBOOK

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited
Active Object Languages: Current Research Trends
Language: en
Pages: 0
Authors: Frank de Boer
Categories: Computers
Type: BOOK - Published: 2024-03-05 - Publisher: Springer

GET EBOOK

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited
Privacy and Identity Management. Sharing in a Digital World
Language: en
Pages: 351
Authors: Felix Bieker
Categories: Computers
Type: BOOK - Published: 2024-04-22 - Publisher: Springer Nature

GET EBOOK

This book contains selected papers presented at the 18th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School on Privacy and Identity Management, h
Software Engineering and Formal Methods
Language: en
Pages: 386
Authors: Carla Ferreira
Categories: Computers
Type: BOOK - Published: 2023-10-30 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, Th
Formal Methods
Language: en
Pages: 669
Authors: Andre Platzer
Categories: Computers
Type: BOOK - Published: 2024-09-12 - Publisher: Springer Nature

GET EBOOK

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took plac