Refinement Types: A Tutorial - 6 Angebote vergleichen
Bester Preis: € 104,23 (vom 02.02.2022)1
Symbolbild
Refinement Types: A Tutorial (Paperback) (2021)
~EN PB NWISBN: 9781680838848 bzw. 1680838849, vermutlich in Englisch, Now Publishers Inc, United States, Taschenbuch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Free shipping.
Von Händler/Antiquariat, Book Depository hard to find [63688905], London, United Kingdom.
Language: English. Brand new Book. Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type systems that can be retrofitted to existing languages, or co-designed with new ones. In this book, the authors catalyze the development of such systems by distilling the ideas developed in the sprawling literature on the topic into a coherent and unified tutorial that explains the key ingredients of modern refinement type systems, by showing how to implement a refinement type checker. Inspired by the nanopass framework for teaching compilation the authors show how to implement refinement types via a progression of languages that incrementally add features to the language or type system. The readily accessible book provides the reader with an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning. Furthermore, the accompanying software implementation allows readers to work on practical real-world examples. Books.
Von Händler/Antiquariat, Book Depository hard to find [63688905], London, United Kingdom.
Language: English. Brand new Book. Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type systems that can be retrofitted to existing languages, or co-designed with new ones. In this book, the authors catalyze the development of such systems by distilling the ideas developed in the sprawling literature on the topic into a coherent and unified tutorial that explains the key ingredients of modern refinement type systems, by showing how to implement a refinement type checker. Inspired by the nanopass framework for teaching compilation the authors show how to implement refinement types via a progression of languages that incrementally add features to the language or type system. The readily accessible book provides the reader with an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning. Furthermore, the accompanying software implementation allows readers to work on practical real-world examples. Books.
2
Symbolbild
Refinement Types: A Tutorial (2021)
~EN PB NW RPISBN: 9781680838848 bzw. 1680838849, vermutlich in Englisch, Now Publishers Inc, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, Ria Christie Collections [59718070], Uxbridge, United Kingdom.
PRINT ON DEMAND Book; New; Fast Shipping from the UK. Books.
PRINT ON DEMAND Book; New; Fast Shipping from the UK. Books.
3
Symbolbild
Refinement Types: A Tutorial (Foundations And Trends(R) In Programming Languages) (2021)
~EN PB NWISBN: 9781680838848 bzw. 1680838849, vermutlich in Englisch, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Shipping costs to: USA.
Von Händler/Antiquariat, LibroWorld.
Paperback. new. Author: Ranjit Jhala|Niki Vazou | Publisher: Now Publishers | Publication Date: Oct 05, 2021 | Number of Pages: 182 pages | Language: English | Binding: Paperback | ISBN-10: 1680838849 | ISBN-13: 9781680838848.
Von Händler/Antiquariat, LibroWorld.
Paperback. new. Author: Ranjit Jhala|Niki Vazou | Publisher: Now Publishers | Publication Date: Oct 05, 2021 | Number of Pages: 182 pages | Language: English | Binding: Paperback | ISBN-10: 1680838849 | ISBN-13: 9781680838848.
4
Refinement Types (2021)
~EN PB NW RPISBN: 9781680838848 bzw. 1680838849, vermutlich in Englisch, Now Publishers Inc, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, moluna [73551232], Greven, Germany.
Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextRefinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design an, Books.
Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextRefinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design an, Books.
6
Symbolbild
Refinement Types: A Tutorial (2021)
~EN PB NWISBN: 9781680838848 bzw. 1680838849, vermutlich in Englisch, Now Publishers, Norwell, MA, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, plus shipping, Shipping area: STOCKNEW.
Von Händler/Antiquariat, Alibris, NV, Sparks, [RE:5].
Trade paperback.
Von Händler/Antiquariat, Alibris, NV, Sparks, [RE:5].
Trade paperback.
Lade…