Related Books
Language: en
Pages: 285
Pages: 285
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in t
Language: en
Pages: 328
Pages: 328
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in t
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Language: en
Pages: 144
Pages: 144
Type: BOOK - Published: 2013-09-23 - Publisher: John Wiley & Sons
Programming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers withou
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 2014-12-03 - Publisher: Springer
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive defi
