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...
Gardado en:
Outros autores: | , |
---|---|
Formato: | Electrónico Capítulo de libro |
Idioma: | inglés |
Publicado: |
Taylor & Francis
2017
|
Subjects: | |
Acceso en liña: | OAPEN Library: download the publication OAPEN Library: description of the publication |
Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Internet
OAPEN Library: download the publicationOAPEN Library: description of the publication
3rd Floor Main Library
Número de Clasificación: |
A1234.567 |
---|---|
Copia 1 | Dispoñible |