Dear all,
It is not yet too late to contribute to the 19th edition of the
Haskell Communities & Activities Report
http://www.haskell.org/communities/
Submission deadline: early next week
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 verifica
Apologies for multiple copies
-
CALL FOR PAPERS
TERMGRAPH 2011
6th International Workshop on
Computing with Terms and Graphs
Hi,
You might also want to have a look at Zeno, being developed by Will
Sonnex (cc'd) which is in this space
http://www.doc.ic.ac.uk/~ws506/tryzeno/
Cheers,
Tris
On Mon, Oct 25, 2010 at 10:09:32AM +0200, Romain Demeyer wrote:
> Hello,
>
> I'm working on static verification in Haskell, and I se
Hi Romain,
are you aware of Haskabelle [1], a Haskell to Isabelle/HOL converter?
I've never used or investigated it.
> On 25.10.2010, at 10:09, Romain Demeyer wrote:
>
>> Hello,
>>
>> I'm working on static verification in Haskell, and I search for existing
>> works on specification of Haskel
Might be of interest: http://www.cs.ru.nl/Sparkle/
Romain Demeyer schrieb:
Hello,
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. It would be great
Hello,
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. It would be great if there exists
a prover based on this kind of specifications. I already found t