Behavioral types in programming languages

File Description SizeFormat 
WG3-SOAR.pdfAccepted version1.05 MBAdobe PDFDownload
Title: Behavioral types in programming languages
Author(s): Ancona, D
Bono, V
Bravetti, M
Campos, J
Castagna, G
Denielou, P
Gay, S
Gesbert, N
Giachino, E
Hu, R
Johnsen, EB
Martins, F
Mascardi, V
Montesi, F
Neykova, R
Ng, C
Padovani, L
Vasconcelos, VT
Yoshida, N
Item 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.
Publication Date: 21-Jul-2016
Date of Acceptance: 21-Jul-2016
URI: http://hdl.handle.net/10044/1/44282
DOI: https://dx.doi.org/10.1561/2500000031
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
Open Access location: http://www.behavioural-types.eu/publications/WG3SOAR.pdf
Appears in Collections:Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons