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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
--
Jun.-Prof. Dr. Janis Voigtländer
http://www.iai.uni-bonn.de/~jv/
mailto:[email protected]
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
