[Haskell] Specification and prover for Haskell

Tristan Allwood tora at zonetora.co.uk
Mon Oct 25 08:52:36 EDT 2010


You might also want to have a look at Zeno, being developed by Will
Sonnex (cc'd) which is in this space



On Mon, Oct 25, 2010 at 10:09:32AM +0200, Romain Demeyer wrote:
> Hello,
> 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?
> Thanks,
> rde.

> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell

More information about the Haskell mailing list