Behavioural Types: from Theory to Tools
River Publishers (Verlag)
978-87-93519-82-4 (ISBN)
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.
Simon Gay, António Ravara
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
Erscheinungsdatum | 12.08.2017 |
---|---|
Reihe/Serie | River Publishers Series in Automation, Control and Robotics |
Verlagsort | Gistrup |
Sprache | englisch |
Maße | 156 x 234 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 87-93519-82-6 / 8793519826 |
ISBN-13 | 978-87-93519-82-4 / 9788793519824 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich