Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
automation
B01=Antonio Ravara
B01=Simon Gay
behavioural type systems
Category1=Non-Fiction
Category=TJFM
Category=UMX
Category=UMZ
Category=UY
choreography
communication protocols
concurrent programming
COP=Denmark
Delivery_Pre-order
distributed systems
eq_bestseller
eq_computing
eq_isMigrated=2
eq_nobargain
eq_non-fiction
formal analysis of concurrent software
graduate computer science
Language_English
PA=Not yet available
Price_€20 to €50
program analysis tools
Programming languages
PS=Forthcoming
session types
softlaunch
software contracts
software reliability
type system verification
Product details
- ISBN 9788770044271
- Weight: 680g
- Dimensions: 156 x 234mm
- Publication Date: 21 Oct 2024
- Publisher: River Publishers
- Publication City/Country: DK
- Product Form: Paperback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
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.
