FP /

QuickCheckingCCodeViaHaskell

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