Behavioural Types

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

Fuld beskrivelse

Bibliografiske detaljer

Format:	Online
Sprog:	engelsk
Udgivet:	Taylor & Francis 2022
Fag:	Computer programming / software engineering;Energy
Online adgang:	https://library.oapen.org/handle/20.500.12657/59807
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!