1st Edition
Behavioural Types From Theory to Tools
410 Pages
by
River Publishers
410 Pages
by
River Publishers
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... Read more
Behavioural Types
Biography
Simon Gay, António Ravara
