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: Concurrent Programming in ErlangConcurrent Programming in Erlang
by - Prentice Hall PTR
A tutorial of Erlang, a concurrent, functional programming language. The emphasis of this book is on learning through example and a number of well known problems in designing and programming concurrent fault-tolerant real-time systems.
(19455 views)
Book cover: Functional Programming and Parallel Graph RewritingFunctional Programming and Parallel Graph Rewriting
by - Addison-Wesley
An introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. All the chapters include a summary and exercises.
(8967 views)
Book cover: Professor Frisby's Mostly Adequate Guide to Functional ProgrammingProfessor Frisby's Mostly Adequate Guide to Functional Programming
- GitBook
This is a book on the functional paradigm in general. We will use the world's most popular functional programming language: JavaScript. JavaScript will be our means of learning a paradigm, where you apply it is up to you.
(7350 views)
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.
(13137 views)