Hi,
is any of you aware of activities that aim to translate Haskell into
interactive theorem provers like PVS or Isabelle/HOL? (automatically or
manually).
We know about the Programatica project and Brian Huffman's work, but turned
up little else.
Cheers,
Gerwin
Thanks for all the replies I got, they have been helpful!
Cheers,
Gerwin
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
On 25/10/2010, at 7:09 PM, Romain Demeyer wrote:
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.
We have used Haskell extensively in the
must be written in English.
ORGANIZATION
Program Chairs
Gerwin Klein, NICTA and The University of New South Wales, Australia
Ruben Gamboa, University of Wyoming, USA
Workshop Chair
David Pichardie, INRIA, France
Program Committee
Jeremy Avigad, Carnegie Mellon University
Lennart Beringer
Data61 Seeking Proof Engineers
==
(applications close 15 October 2015)
http://ssrg.nicta.com.au/jobs/proof-engineers2015
If only there was a place where I could prove theorems for money, change the
world, and have fun while doing it...
Sounds too good to exist?
In
