Subject: Re: [Haskell] formal verification for functional programming languages
From: Neil Mitchell <[email-masked]>
To: Wolfgang Jeltsch <[email-masked]>
Date: Fri, 4 Nov 2005 11:21:21 +0000

Hi Wolfgang,

Not sure if this might interest you:
http://www-users.cs.york.ac.uk/~ndm/projects/patternmatch.php

Thanks

Neil

On 11/4/05, Wolfgang Jeltsch <[email-masked]> 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
> _______________________________________________
> Haskell mailing list
> [email-masked]
> http://www.haskell.org/mailman/listinfo/haskell
>