Behavioural Types From Theory to Tools
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:
| Other Authors: | , |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
Taylor & Francis
2017
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!