You are here:
(02 Sep 2010,
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.
ore topic actions
Topic revision: r2 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?