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: Category Theory and Functional ProgrammingCategory Theory and Functional Programming
by - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(7050 views)
Book cover: The Conception, Evolution, and Application of Functional Programming LanguagesThe Conception, Evolution, and Application of Functional Programming Languages
by - Yale University
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several periods. The attention is paid to the main features that characterize functional languages.
(6277 views)
Book cover: The Design of Functional Programs - A Calculational ApproachThe Design of Functional Programs - A Calculational Approach
by - Technische Universiteit Eindhoven
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do.
(5791 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.
(3133 views)