[Haskell] formal verification for functional programming languages

Wolfgang Jeltsch wolfgang at jeltsch.net
Fri Nov 11 12:17:25 EST 2005


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
-------------- next part --------------
An embedded message was scrubbed...
From: Neil Mitchell <ndmitchell at gmail.com>
Subject: Re: [Haskell] formal verification for functional programming languages
Date: Fri, 4 Nov 2005 11:21:21 +0000
Size: 2195
Url: http://www.haskell.org//pipermail/haskell/attachments/20051111/4baa1e2f/forwardedmessage-0005.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "Srinivas Nedunuri" <nedunuri at cs.utexas.edu>
Subject: [Haskell] Re: formal verification for functional programming languages
Date: Fri, 4 Nov 2005 09:42:07 -0600
Size: 3821
Url: http://www.haskell.org//pipermail/haskell/attachments/20051111/4baa1e2f/forwardedmessage-0006.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "S.J.Thompson" <S.J.Thompson at kent.ac.uk>
Subject: Paper on proof
Date: Fri, 4 Nov 2005 16:17:19 +0000 (GMT)
Size: 240442
Url: http://www.haskell.org//pipermail/haskell/attachments/20051111/4baa1e2f/forwardedmessage-0007.eml
-------------- next part --------------
An embedded message was scrubbed...
From: Manuel Hermenegildo <herme at fi.upm.es>
Subject: Re: [curry] formal verification for functional-logic programming
	languages
Date: Fri, 04 Nov 2005 12:07:22 -0700
Size: 3777
Url: http://www.haskell.org//pipermail/haskell/attachments/20051111/4baa1e2f/forwardedmessage-0008.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "Ahn, Ki-yung" <kyagrd at bawi.org>
Subject: Re: [Haskell] formal verification for functional programming languages
Date: Sat, 05 Nov 2005 22:42:02 -0800
Size: 3272
Url: http://www.haskell.org//pipermail/haskell/attachments/20051111/4baa1e2f/forwardedmessage-0009.eml


More information about the Haskell mailing list