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...
Zapisane w:
| Kolejni autorzy: | , |
|---|---|
| Format: | Elektroniczne Rozdział |
| Język: | angielski |
| Wydane: |
Taylor & Francis
2017
|
| Hasła przedmiotowe: | |
| Dostęp online: | DOAB: download the publication DOAB: description of the publication |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Search Result 1
OAPEN Library: description of the publication
Behavioural Types From Theory to Tools
Wydane 2017
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne
Rozdział