[Haskell] Specification and prover for Haskell
Tristan Allwood
tora at zonetora.co.uk
Mon Oct 25 08:52:36 EDT 2010
Hi,
You might also want to have a look at Zeno, being developed by Will
Sonnex (cc'd) which is in this space
http://www.doc.ic.ac.uk/~ws506/tryzeno/
Cheers,
Tris
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