Behavioural types : : from theory to tools / / editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.
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...
Saved in:
Superior document: | River Publishers series in automation, control and robotics |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Delft, The Netherlands : : River Publishers,, [2017] ©2017 |
Year of Publication: | 2017 |
Edition: | 1st ed. |
Language: | English |
Series: | River Publishers series in automation, control and robotics.
|
Physical Description: | 1 online resource (412 pages) :; illustrations (some color). |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Similar Items
-
Behavioural types : : from theory to tools / / editors, Simon Gay, University of Glasgow, UK, Antonio Ravara, Universidade Nova de Lisboa, Portugal.
Published: ([2017]) -
Behavioural Types : : from Theory to Tools.
by: Gay, Simon.
Published: (2017.) -
Game development tool essentials : : game tool development tricks, tips, and concepts from industry experts / / Alessandro Ardolino [and twelve others].
Published: (2014.) -
Ethereum : : tools & skills / / project editor, Bruno Skvorc.
Published: ([2018]) -
Tools in Artificial Intelligence / / edited by Paula Fritzsche.
by: Fritzsche, Paula
Published: (2008)