Behavioural Types: From Theory to Tools

ISBN-13: 9788793519824 / Angielski / Twarda / 2017 / 250 str.

Simon Gay; Antonio Ravara

Opis

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.

Spis treści

• Preface
• 1. Contract-oriented design of distributed applications: a tutorial
• 2. Contract-oriented programming with timed session types
• 3. A runtime monitoring tool for actor-based systems
• 4. How to Verify Your Python Conversations
• 5. The DCR Workbench: Declarative Choreographies for Collaborative Processes
• 6. A tool for choreography-based analysis of message-passing software
• 7. Programming adaptive microservice systems
• an AIOCJ tutorial
• 8. JaDA - the Java Deadlock Analyzer
• 9. Type-Based Analysis of Linear Communications
• 10. Session types with linearity in Haskell
• 11. An OCaml Implementation of Binary Sessions
• 12. Lightweight functional session types
• 13. Distributed programming using Java APIs generated from Session Types
• 14. Mungo and StMungo: Tools for Typechecking Protocols in Java
• 15. Protocol-driven MPI program generation
• 16. Protocol Verification of MPI Programs

O autorze

Simon Gay, António Ravara