Text

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, 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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: ., 2017

Collation

-

Language

ISBN/ISSN

9781003337331

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

Gay, Simon

Other Information

Cataloger

Heri

Source

-

Validator

-

Digital Object Identifier (DOI)

10.1201/9781003337331

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment