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 p...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1999
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561739 |