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...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Drugi avtorji: Gay, Simon (Editor), Ravara, António (Editor)
Format: Elektronski Book Chapter
Jezik:angleščina
Izdano: Taylor & Francis 2017
Teme:
Online dostop:DOAB: download the publication
DOAB: description of the publication
Oznake: Označite
Brez oznak, prvi označite!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Podrobnosti zaloge 3rd Floor Main Library
Signatura: A1234.567
Kopija 1 Prosto