Behavioral Types in Programming Languages
- Creators
- Ancona, Davide
- Bono, Viviana
- Bravetti, Mario
- Campos, Joana
- Castagna, Giuseppe
- Deniélou, Pierre-Malo
- Gay, Simon
- Gesbert, Nils
- Giachino, Elena
- Hu, Raymond
- Johnsen, Einar
- Martins, Francisco
- Mascardi, Viviana
- Montesi, Fabrizio
- Neykova, Rumyana
- Ng, Nicholas
- Padovani, Luca
- Vasconcelos, Vasco
- Yoshida, Nobuko
- Others:
- Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova] (DIBRIS) ; Università degli studi di Genova = University of Genoa (UniGe)
- Dipartimento di Informatica [Torino] ; Università degli studi di Torino = University of Turin (UNITO)
- Department of Computer Science and Engineering [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- LaSIGE [Lisboa] ; Universidade de Lisboa = University of Lisbon (ULISBOA)-Faculdade de Ciências
- Department of Informatics [Lisbon] ; Universidade de Lisboa = University of Lisbon (ULISBOA)
- Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
- Centre National de la Recherche Scientifique (CNRS)
- Royal Holloway [University of London] (RHUL)
- School of Computing Science [Glasgow, Scotland] ; University of Glasgow
- Types and Reasoning for the Web (TYREX) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ) ; Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])
- Imperial College London
- Department of Informatics [Oslo] ; Faculty of Mathematics and Natural Sciences [Oslo] ; University of Oslo (UiO)-University of Oslo (UiO)
- University of Southern Denmark (SDU)
Description
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of largescale, 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 representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design 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.
Abstract
International audience
Additional details
- URL
- https://hal.inria.fr/hal-01348054
- URN
- urn:oai:HAL:hal-01348054v1
- Origin repository
- UNICA