Proving correctness of modular functional programs


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)


12 Figures and Tables

Slides referencing similar topics