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...
Сохранить в:
| Другие авторы: | , |
|---|---|
| Формат: | Электронный ресурс Глава книги |
| Язык: | английский |
| Опубликовано: |
Taylor & Francis
2017
|
| Предметы: | |
| Online-ссылка: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|