[Haskell] Specification and prover for Haskell

Jean-Marie Gaillourdet jmg at gaillourdet.net
Mon Oct 25 07:52:17 EDT 2010

Hi Romain, 

are you aware of Haskabelle [1], a Haskell to Isabelle/HOL converter?
I've never used or investigated it. 

> On 25.10.2010, at 10:09, 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,

-- Jean

[1] http://isabelle.in.tum.de/haskabelle.html

More information about the Haskell mailing list