Logo

Certified Programming with Dependent Types

Small book cover: Certified Programming with Dependent Types

Certified Programming with Dependent Types
by


Number of pages: 371

Description:
Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. The purpose of this book is to convince you that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.

Home page url

Download or read it online for free here:
Download link
(3.9MB, PDF)

Similar books

Book cover: Functional Programming in PythonFunctional Programming in Python
by - O'Reilly Media
Python is not a functional programming language, but it is a multi-paradigm language that makes functional programming easy to perform. This book examines the functional aspects of the language and points out which options work well and which do not.
(2277 views)
Book cover: Purely Functional Data StructuresPurely Functional Data Structures
by - Carnegie Mellon University
This book describes data structures from the point of view of functional languages. The author includes both classical data structures, such as red-black trees, and a host of new data structures developed exclusively for functional languages.
(3466 views)
Book cover: Real World Functional ProgrammingReal World Functional Programming
by - Manning Publications
Real World Functional Programming is a unique tutorial that explores the functional programming model through the F# and C# languages. The clearly presented ideas and examples teach readers how functional programming differs from other approaches.
(4179 views)
Book cover: A Gentle Introduction to MLA Gentle Introduction to ML
by - Napier University
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
(4386 views)