[Haskell] Specification and prover for Haskell

[Simon Peyton-Jones]

Would someone like to make a Haskell Wiki page to summarise the responses to this thread?

Simon

| -----Original Message-----
| From: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org] On Behalf Of
| Till Mossakowski
| Sent: 26 October 2010 11:38
| To: haskell at haskell.org >> "haskell at haskell.org"
| Subject: Re: [Haskell] Specification and prover for Haskell
| 
| The Heterogeneous Tool Set supports HasCASL for specification
| of Haskell programs, and uses Isabelle for proving
| http://www.dfki.de/sks/hets
| 
| Moreover, the Programatica project has an expressive logic
| called P-logic, and tools supporting it:
| http://programatica.cs.pdx.edu/
| 
| Best, Till
| 
| Am 25.10.2010 10:09, schrieb Romain Demeyer:
| > 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
| 
| _______________________________________________
| Haskell mailing list
| Haskell at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell