Access Restriction

Author Httel, Hans ♦ Lanese, Ivan ♦ Vasconcelos, Vasco T. ♦ Caires, Lus ♦ Carbone, Marco ♦ Denilou, Pierre-Malo ♦ Mostrous, Dimitris ♦ Padovani, Luca ♦ Ravara, Antnio ♦ Tuosto, Emilio ♦ Vieira, Hugo Torres ♦ Zavattaro, Gianluigi
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Copyright Year ©2016
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Behavioural types
Abstract 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 03600300
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2016-04-05
Publisher Place New York
e-ISSN 15577341
Journal ACM Computing Surveys (CSUR)
Volume Number 49
Issue Number 1
Page Count 36
Starting Page 1
Ending Page 36

Open content in new tab

   Open content in new tab
Source: ACM Digital Library