Behavioural Types From Theory to Tools
| Other author | Gay, Simon Editor |
| Other author | Ravara, Ant©đnio Editor |
| Format | Electronic |
| Publication Info | Gistrup : River Publishers Herndon : Stylus Publishing, LLC [Distributor] |
| Description | 250 p. ill 23.400 x 015.600 cm. |
| Supplemental Content | Full text available from Taylor & Francis eBooks |
| Subjects |
| Series | River Publishers Series in Automation, Control and Robotics Ser. |
| Summary | Annotation 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9788793519824 |
| ISBN | 8793519826 (Trade Cloth) Active Record |
| Standard identifier# | 9788793519824 |
| Stock number | 01800237 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |