Behavioral types in programming languages
File(s)
Accepted version
Author(s)
Type
Journal Article
Abstract
A recent trend in programming language research is to use behav-
ioral type theory to ensure various correctness properties of large-
scale, communication-intensive systems. Behavioral types encompass
concepts such as interfaces, communication protocols, contracts, and
choreography. The successful application of behavioral types requires
a solid understanding of several practical aspects, from their represen-
tation in a concrete programming language, to their integration with
other programming constructs such as methods and functions, to de-
sign and monitoring methodologies that take behaviors into account.
This survey provides an overview of the state of the art of these aspects,
which we summarize as the
pragmatics
of behavioral types.
ioral type theory to ensure various correctness properties of large-
scale, communication-intensive systems. Behavioral types encompass
concepts such as interfaces, communication protocols, contracts, and
choreography. The successful application of behavioral types requires
a solid understanding of several practical aspects, from their represen-
tation in a concrete programming language, to their integration with
other programming constructs such as methods and functions, to de-
sign and monitoring methodologies that take behaviors into account.
This survey provides an overview of the state of the art of these aspects,
which we summarize as the
pragmatics
of behavioral types.
Date Issued
2016-07-21
Date Acceptance
2016-07-21
Citation
Foundations and Trends in Programming Languages, 2016, 3 (2-3), pp.95-230
ISSN
2325-1107
Publisher
Now Publishers
Start Page
95
End Page
230
Journal / Book Title
Foundations and Trends in Programming Languages
Volume
3
Issue
2-3
Copyright Statement
© 2016 D. Ancona et al.
Publication Status
Published