Foundations of Session Types and Behavioural Contracts

Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns...

Full description

Saved in:
Bibliographic Details
Published in:ACM computing surveys 2016-07, Vol.49 (1), p.1-36
Main Authors: Hüttel, Hans, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, Ravara, António, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi
Format: Article
Language:English
Subjects:
Automation
Behavioural
Computation
Computer programs
Computer Science
Contracts
Formal Languages and Automata Theory
Foundations
Input output
Interfaces
Languages
Programming Languages
Software
Software engineering
Studies
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts correctly with other components. Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments of the last 20 years within these two approaches.
ISSN:0360-0300
1557-7341
DOI:10.1145/2873052