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...
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
River Publishers
2017
|
| Acceso en línea: | Ver este registro en EBSCOhost |