Behavioural Types: From Theory to Tools - Brossura

 
9788770044271: Behavioural Types: From Theory to Tools
Brossura
ISBN 10: 8770044279 ISBN 13: 9788770044271
Casa editrice: River Publishers, 2024

Sinossi

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, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
River Publishers
Data di pubblicazione
2024
Lingua
Inglese
ISBN 10 
8770044279
ISBN 13 
9788770044271
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
410
Redattore
Gay Simon, Ravara António
Contatto del produttore
Taylor and Francis, GPSR Taylor and Francis
gpsr@taylorandfrancis.com

Taylor & Francis Verlag GmbH, Kaufingerstraße 24
München
80331
Germania

Altre edizioni note dello stesso titolo

9788793519824: Behavioural Types: From Theory to Tools

Edizione in evidenza

ISBN 10:  8793519826 ISBN 13:  9788793519824
Casa editrice: River Publishers, 2017
Rilegato