[Haskell] Specification and prover for Haskell
simonpj at microsoft.com
Tue Oct 26 06:43:36 EDT 2010
Would someone like to make a Haskell Wiki page to summarise the responses to this thread?
| -----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
| Moreover, the Programatica project has an expressive logic
| called P-logic, and tools supporting it:
| 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
More information about the Haskell