Recent Changes - Search:


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes

edit SideBar

FP /


QuickChecking C code via Haskell

Build a tool that one can use to QuickCheck C code against a Haskell specification. Use this to test open-source libraries in C, for example for datastructures, image manipulation, compression, encryption, etc.

Background: Intro.FP, Datastructures, C; (preferably) AFP, Program Verification. Number of people: 2. Contact person: Koen

Edit - History - Print - Recent Changes - Search
Page last modified on November 24, 2008, at 09:03 AM