[Haskell] Specification and prover for Haskell

[Janis Voigtländer]

Might be of interest: http://www.cs.ru.nl/Sparkle/

Romain Demeyer schrieb:
> 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


-- 
Jun.-Prof. Dr. Janis Voigtländer
http://www.iai.uni-bonn.de/~jv/
mailto:jv at iai.uni-bonn.de