Behavioural types : from theory to tools /: from theory to tools. (2022)
- Record Type:
- Book
- Title:
- Behavioural types : from theory to tools /: from theory to tools. (2022)
- Main Title:
- Behavioural types : from theory to tools
- Further Information:
- Note: Editors, Simon Gay, António Ravara.
- Editors:
- Gay, Simon, 1969-
Ravara, António - Contents:
- 1 Contract-Oriented Design of Distributed Applications: A Tutorial 2 Contract-Oriented Programming with Timed Session Types 3 A Runtime Monitoring Tool for Actor- Choreographies for Collaborative Processes 6 A Tool for Choreography-Based Analysis of Message-Passing Software 7 Programming Adaptive Microservice Applications: 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 Deductive Verification of MPI Protocols
- Edition:
- 1st
- Publisher Details:
- Gistrup : River Publishers
- Publication Date:
- 2022
- Extent:
- 1 online resource, illustrations (black and white, and colour)
- Subjects:
- 005.1
Computer programming
Programming languages (Electronic computers) - Languages:
- English
- ISBNs:
- 9781000799392
- Related ISBNs:
- 9781000799255
- Notes:
- Note: Includes bibliographical references and index.
Note: Description based on CIP data; resource not viewed. - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.728251
- Ingest File:
- 14_053.xml