Behavioural Types: From Theory to Tools
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.
1126179347
Behavioural Types: From Theory to Tools
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.
47.25
In Stock
5
1
Behavioural Types: From Theory to Tools
410
Behavioural Types: From Theory to Tools
410Paperback
$47.25
47.25
In Stock
Product Details
| ISBN-13: | 9788770044271 |
|---|---|
| Publisher: | River Publishers |
| Publication date: | 10/21/2024 |
| Pages: | 410 |
| Product dimensions: | 6.12(w) x 9.19(h) x (d) |
About the Author
From the B&N Reads Blog