Am Freitag, 4. November 2005 13:51 schrieb Gregory Woodhouse:
On Nov 4, 2005, at 3:13 AM, Wolfgang Jeltsch wrote:
Hello,
where can I find information about formal verification techniques and tools for functional programming languages? Both introductionary texts and current research papers etc. are welcome.
Best wishes, Wolfgang
Please do consider posting a summary of responses you receive. I'm looking for much the same type of information.
Hello Gregory (and the others), I didn't write a summary but instead attached the e-mails I recieved in reply to my question. Some of them went also to the list so there is a bit of duplication. In addition to asking about verification wrt. functional programming languages on the Haskell Mailing List, I asked about verification wrt. functional-logic languages on the Curry Mailing List. The answers to this question are also attached. You might also find http://www.e-pig.org/ useful. HList might also be interesting in conjunction with verfication. See: http://homepages.cwi.nl/~ralf/HList/paper.pdf
[...]
Best wishes, Wolfgang