Behavioural types: From theory to tools

Simon Gay; António Ravara

doi:10.13052/rp-9788793519817

Behavioural types: From theory to tools

Simon Gay, António Ravara

Research output: Book/Report › Book › peer-review

39 Citations (Scopus)

Abstract

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.

Original language	English
Publisher	River Publishers
Number of pages	375
ISBN (Electronic)	9788793519817
ISBN (Print)	9788793519824
DOIs	https://doi.org/10.13052/rp-9788793519817
Publication status	Published - 31 Jul 2017

Access to Document

10.13052/rp-9788793519817

Cite this

@book{9067014b68c346ef8b00f6d1c2619a96,

title = "Behavioural types: From theory to tools",

abstract = "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.",

author = "Simon Gay and Ant{\'o}nio Ravara",

year = "2017",

month = jul,

day = "31",

doi = "10.13052/rp-9788793519817",

language = "English",

isbn = "9788793519824",

publisher = "River Publishers",

address = "Denmark",

}

TY - BOOK

T1 - Behavioural types

T2 - From theory to tools

AU - Gay, Simon

AU - Ravara, António

PY - 2017/7/31

Y1 - 2017/7/31

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85071825874&partnerID=8YFLogxK

U2 - 10.13052/rp-9788793519817

DO - 10.13052/rp-9788793519817

M3 - Book

AN - SCOPUS:85071825874

SN - 9788793519824

BT - Behavioural types

PB - River Publishers

ER -

Behavioural types: From theory to tools

Abstract

Access to Document

Other files and links

Fingerprint

Cite this