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, mot...
Zapisane w:
| Format: | Online |
|---|---|
| Język: | angielski |
| Wydane: |
Taylor & Francis
2022
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://library.oapen.org/handle/20.500.12657/59807 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|