| |

Click on image to enlarge

River Publishers Series in Automation, Control and Robotics 

Behavioural Types: from Theory to Tools

Editors:
Simon Gay, University of Glasgow, UK
António Ravara, Universidade Nova de Lisboa, Portugal

ISBN: 9788793519824

e-ISBN: 9788793519817

doi: 10.13052/rp-9788793519817

Price: €0.00

Available: June 2017

Print book available at List Price

[8.57 MB] Downloads: [347] Reads [141]    

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.

 

Book Contents:

Chapter 1

Contract-Oriented Design of Distributed Applications: A Tutorial
by Nicola Atzei, Massimo Bartoletti, Maurizio Murgia, Emilio Tuosto and Roberto Zunino
Download as a PDF [154KB] Downloads [127]


Chapter 2

Contract-Oriented Programming with Timed Session Types
by Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu
Download as a PDF [498KB] Downloads [121]


Chapter 3

A Runtime Monitoring Tool for Actor-Based Systems
by Duncan Paul Attard, Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir
Download as a PDF [194KB] Downloads [140]


Chapter 4

How to Verify Your Python Conversations
by Rumyana Neykova and Nobuko Yoshida
Download as a PDF [966KB] Downloads [115]


Chapter 5

The DCR Workbench: Declarative Choreographies for Collaborative Processes
by Søren Debois and Thomas T. Hildebrandt
Download as a PDF [2130KB] Downloads [125]


Chapter 6

A Tool for Choreography-Based Analysis of Message-Passing Software
by Julien Lange, Emilio Tuosto and Nobuko Yoshida
Download as a PDF [630KB] Downloads [131]


Chapter 7

Programming Adaptive Microservice Applications: An AIOCJ Tutorial*
by Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro and Maurizio Gabbrielli
Download as a PDF [631KB] Downloads [148]


Chapter 8

JaDA – the Java Deadlock Analyzer
by Abel Garcia and Cosimo Laneve
Download as a PDF [735KB] Downloads [134]


Chapter 9

Type-Based Analysis of Linear Communications
by Luca Padovani
Download as a PDF [185KB] Downloads [147]


Chapter 10

Session Types with Linearity in Haskell
by Dominic Orchard and Nobuko Yoshida
Download as a PDF [159KB] Downloads [149]


Chapter 11

An OCaml Implementation of Binary Sessions
by Hernán Melgratti and Luca Padovani
Download as a PDF [141KB] Downloads [155]


Chapter 12

Lightweight Functional Session Types
by Sam Lindley and J. Garrett Morris
Download as a PDF [156KB] Downloads [114]


Chapter 13

Distributed Programming Using Java APIs Generated from Session Types
by Raymond Hu
Download as a PDF [783KB] Downloads [124]


Chapter 14

Mungo and StMungo: Tools for Typechecking Protocols in Java
by Ornela Dardha, Simon J.Gay, Dimitrios Kouzapas, Roly Perera, A. Laura Voinea and Florian Weber
Download as a PDF [210KB] Downloads [135]


Chapter 15

Protocol-Driven MPI Program Generation
by Nicholas Ng and Nobuko Yoshida
Download as a PDF [195KB] Downloads [138]


Chapter 16

Deductive Verification of MPI Protocols
by Vasco T. Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida and Nicholas Ng
Download as a PDF [808KB] Downloads [118]


 


Keywords:

Programming languages; behavioural type systems; choreography; program analysis tools; session types; software contracts; automation

River Publishers: Behavioural Types: from Theory to Tools