Behavioural Types
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...
Saved in:
| Format: | Online |
|---|---|
| Language: | English |
| Published: |
Taylor & Francis
2022
|
| Subjects: | |
| Online Access: | https://library.oapen.org/handle/20.500.12657/59807 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869518536491139072 |
|---|---|
| collection | Directory of Open Access Books |
| 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. |
| format | Online |
| id | doab-20.500.12854ir-94363 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2022 |
| publishDateRange | 2022 |
| publishDateSort | 2022 |
| publisher | Taylor & Francis |
| publisherStr | Taylor & Francis |
| record_format | ojs |
| spelling | doab-20.500.12854ir-943632025-05-08T10:03:42Z Behavioural Types Gay, Simon Ravara, António Computer programming / software engineering;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-02T04:08:45Z 2022-12-02T04:08:45Z 2022-12-01T09:31:02Z 2017 book https://library.oapen.org/handle/20.500.12657/59807 9788793519824 9781003337331 https://directory.doabooks.org/handle/20.500.12854/94363 eng open access image/jpeg image/jpeg image/jpeg Attribution-NonCommercial 4.0 International Attribution-NonCommercial 4.0 International Attribution-NonCommercial 4.0 International https://library.oapen.org/bitstream/20.500.12657/59807/1/9781000799255.pdf https://library.oapen.org/bitstream/20.500.12657/59807/1/9781000799255.pdf https://library.oapen.org/bitstream/20.500.12657/59807/1/9781000799255.pdf Taylor & Francis River Publishers 10.1201/9781003337331 10.1201/9781003337331 fa69b019-f4ee-4979-8d42-c6b6c476b5f0 European Commission 3983007a-5726-4f1e-b9df-3fbc771f2916 9788793519824 9781003337331 EU collection River Publishers 410 open access |
| spellingShingle | Computer programming / software engineering;Energy Behavioural Types |
| title | Behavioural Types |
| title_full | Behavioural Types |
| title_fullStr | Behavioural Types |
| title_full_unstemmed | Behavioural Types |
| title_short | Behavioural Types |
| title_sort | behavioural types |
| topic | Computer programming / software engineering;Energy |
| topic_facet | Computer programming / software engineering;Energy |
| url | https://library.oapen.org/handle/20.500.12657/59807 |