Proving correctness of modular functional programs

Abstract

One reason for studying and programming in functional programming languages is that they are easy to reason about, yet there is surprisingly little work on proving the correctness of large functional programs. In this dissertation I show how to provide a system for proving the correctness of large programs written in a major functional programming language… (More)

Topics

12 Figures and Tables

Slides referencing similar topics