[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