Static Contract Checking For Haskell
Stc
Date: 2008-04-17
Time: 11:00
Room: BBL room
420
Speaker: Robert Stremler
Title: Static Contract Checking for Haskell
Abstract
In this talk I discuss a recent attempt to apply extended static
checking to functional programming language Haskell. This
approach is based on the idea of contracts. By giving contracts
to functions the compiler can give precise blame assignments when
a contract is broken. This way many program errors can easily be
detected early during program development. I describe how to make
use of contracts as well as how the verification process works.
