Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.
Produkteigenschaften
- Artikelnummer: 9788770044271
- Medium: Buch
- ISBN: 978-87-7004-427-1
- Verlag: River Publishers
- Erscheinungstermin: 21.10.2024
- Sprache(n): Englisch
- Auflage: 1. Auflage 2024
- Produktform: Kartoniert
- Gewicht: 453 g
- Seiten: 410
- Format (B x H): 156 x 234 mm
- Ausgabetyp: Kein, Unbekannt