[Haskell] formal verification for functional programming languages

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 Haskell@h

Re: [Haskell] formal verification for functional programming languages

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 consid

Re: [Haskell] formal verification for functional programming languages

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. Take a look at Omega. It is an experimental interpreter building up Curr

Re: [Haskell] formal verification for functional programming languages

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. See the specification language HasCASL. For specification of monadic prog

Re: [Haskell] formal verification for functional programming languages

Anyone interested in program verification issues in a Haskell context should check out the Programatica project: (I'm not sure how recent changes at OGI/PacSoft may have affected the on-going status of this project, but there is a l