Behavioural Types
From Theory to Tools
| dc.contributor.editor | Gay, Simon | |
| dc.contributor.editor | Ravara, António | |
| dc.date.accessioned | 2022-12-01T09:31:02Z | |
| dc.date.available | 2022-12-01T09:31:02Z | |
| dc.date.issued | 2017 | |
| dc.identifier.uri | https://library.oapen.org/handle/20.500.12657/59807 | |
| dc.description.abstract | 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. | en_US |
| dc.language | English | en_US |
| dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering | en_US |
| dc.subject.classification | thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDY Energy | en_US |
| dc.subject.other | Computer programming / software engineering;Energy | en_US |
| dc.title | Behavioural Types | en_US |
| dc.title.alternative | From Theory to Tools | en_US |
| dc.type | book | |
| oapen.identifier.doi | 10.1201/9781003337331 | en_US |
| oapen.relation.isPublishedBy | 7b3c7b10-5b1e-40b3-860e-c6dd5197f0bb | en_US |
| oapen.relation.isFundedBy | 3983007a-5726-4f1e-b9df-3fbc771f2916 | en_US |
| oapen.relation.isbn | 9788793519824 | en_US |
| oapen.relation.isbn | 9781003337331 | en_US |
| oapen.imprint | River Publishers | en_US |
| oapen.pages | 410 | en_US |
