9781000799255.pdf
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, mot...
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
Taylor & Francis
2022
|
| id |
oapen-20.500.12657-59807 |
|---|---|
| record_format |
dspace |
| spelling |
oapen-20.500.12657-598072022-12-02T03:17:50Z Behavioural Types Gay, Simon Ravara, António Computer programming / software engineering;Energy bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics::PHDY Energy 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. 2022-12-01T09:31:02Z 2022-12-01T09:31:02Z 2017 book 9788793519824 9781003337331 https://library.oapen.org/handle/20.500.12657/59807 eng application/pdf Attribution-NonCommercial 4.0 International 9781000799255.pdf Taylor & Francis River Publishers 10.1201/9781003337331 10.1201/9781003337331 7b3c7b10-5b1e-40b3-860e-c6dd5197f0bb 3983007a-5726-4f1e-b9df-3fbc771f2916 9788793519824 9781003337331 River Publishers 410 European Commission European Union open access |
| institution |
OAPEN |
| collection |
DSpace |
| language |
English |
| 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. |
| title |
9781000799255.pdf |
| spellingShingle |
9781000799255.pdf |
| title_short |
9781000799255.pdf |
| title_full |
9781000799255.pdf |
| title_fullStr |
9781000799255.pdf |
| title_full_unstemmed |
9781000799255.pdf |
| title_sort |
9781000799255.pdf |
| publisher |
Taylor & Francis |
| publishDate |
2022 |
| _version_ |
1771297502943772672 |
