Behavioural Types: From Theory to Tools
Overview & Synopsis
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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Behavioural Types: From Theory to Tools |
|---|---|
| Author / Organization | Simon Gay, António Ravara |
| Subject & Discipline | Theory of Programming Languages, Compiler Construction, Computer and Programming Languages, Computer Science |
| Categories | Theory of Programming Languages |
| Publication Year | 2024 |
| ISBN | 8770044279 |
| License / Rights | Creative Commons License (CC) |
| Resource Verification | Access Restricted / Protected Host |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-65011 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Behavioural Types: From Theory to Tools • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.