Click on image to enlarge
Editors: Simon Gay, University of Glasgow, UKAntónio Ravara, Universidade Nova de Lisboa, Portugal
ISBN: 9788793519824
e-ISBN: 9788793519817
doi: https://doi.org/10.13052/rp-9788793519817
Price: €0.00
Available: June 2017
Print book available at List Price
Description:
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.
Keywords:
Programming languages; behavioural type systems; choreography; program analysis tools; session types; software contracts; automation
Book Contents:
Chapter 1 Contract-Oriented Design of Distributed Applications: A Tutorialby Nicola Atzei, Massimo Bartoletti, Maurizio Murgia, Emilio Tuosto and Roberto Zunino Download as a PDF [154KB]
Chapter 2 Contract-Oriented Programming with Timed Session Typesby Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu Download as a PDF [498KB]
Chapter 3 A Runtime Monitoring Tool for Actor-Based Systemsby Duncan Paul Attard, Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir Download as a PDF [194KB]
Chapter 4 How to Verify Your Python Conversationsby Rumyana Neykova and Nobuko Yoshida Download as a PDF [966KB]
Chapter 5 The DCR Workbench: Declarative Choreographies for Collaborative Processesby Søren Debois and Thomas T. Hildebrandt Download as a PDF [2130KB]
Chapter 6 A Tool for Choreography-Based Analysis of Message-Passing Softwareby Julien Lange, Emilio Tuosto and Nobuko Yoshida Download as a PDF [630KB]
Chapter 7 Programming Adaptive Microservice Applications: An AIOCJ Tutorial*by Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro and Maurizio Gabbrielli Download as a PDF [631KB]
Chapter 8 JaDA – the Java Deadlock Analyzerby Abel Garcia and Cosimo Laneve Download as a PDF [735KB]
Chapter 9 Type-Based Analysis of Linear Communicationsby Luca Padovani Download as a PDF [185KB]
Chapter 10 Session Types with Linearity in Haskellby Dominic Orchard and Nobuko Yoshida Download as a PDF [159KB]
Chapter 11 An OCaml Implementation of Binary Sessionsby Hernán Melgratti and Luca Padovani Download as a PDF [141KB]
Chapter 12 Lightweight Functional Session Typesby Sam Lindley and J. Garrett Morris Download as a PDF [156KB]
Chapter 13 Distributed Programming Using Java APIs Generated from Session Typesby Raymond Hu Download as a PDF [783KB]
Chapter 14 Mungo and StMungo: Tools for Typechecking Protocols in Javaby Ornela Dardha, Simon J.Gay, Dimitrios Kouzapas, Roly Perera, A. Laura Voinea and Florian Weber Download as a PDF [210KB]
Chapter 15 Protocol-Driven MPI Program Generationby Nicholas Ng and Nobuko Yoshida Download as a PDF [195KB]
Chapter 16 Deductive Verification of MPI Protocolsby Vasco T. Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida and Nicholas Ng Download as a PDF [808KB]