[Haskell] Specification and prover for Haskell

Romain Demeyer rde at info.fundp.ac.be
Mon Oct 25 04:09:32 EDT 2010


I'm working on static verification in Haskell, and I search for existing
works on specification of Haskell programs (such as pre/post conditions, for
example) or any other functional language. It would be great if there exists
a prover based on this kind of specifications. I already found the
ESC/Haskell. Do you know some other works which could be interesting?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20101025/03d8fa83/attachment.html

More information about the Haskell mailing list