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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Gay, Simon (Herausgegeben von), Ravara, António (Herausgegeben von)
Format: Elektronisch Buchkapitel
Sprache:Englisch
Veröffentlicht: Taylor & Francis 2017
Schlagworte:
Online-Zugang:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!