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

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Andere auteurs: Gay, Simon (Redacteur), Ravara, António (Redacteur)
Formaat: Elektronisch Hoofdstuk
Taal:Engels
Gepubliceerd in: Taylor & Francis 2017
Onderwerpen:
Online toegang:DOAB: download the publication
DOAB: description of the publication
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Exemplaargegevens van 3rd Floor Main Library
Plaatsingsnummer: A1234.567
Kopie 1 Beschikbaar