From till at informatik.uni-bremen.de  Mon Sep 11 09:20:02 2006
From: till at informatik.uni-bremen.de (Till Mossakowski)
Date: Mon, 11 Sep 2006 09:20:02 +0200
Subject: [Hets-devel] [Webseiten-Feedback] HETS and Haskell
In-Reply-To: <200609091415.k89EFE8O000996@max.informatik.uni-bremen.de>
References: <200609091415.k89EFE8O000996@max.informatik.uni-bremen.de>
Message-ID: <45050E22.8030302@informatik.uni-bremen.de>

Hi Craig,

yes, Hets can handle Haskell code. However, this feature is a prototype
only so far. Please find attached a draft paper describing the
translation of Haskell into Isabelle.

Greetings,
Till

Nobody schrieb:
> Hello,
> 
>      If I am reading the documentation for HETS correctly, I see that it can now handle Haskell code directly.  Is there documentation for this mode of entry?  If not, I feel like I need it for project work that I have in mind (can elaborate upon request).  Also, can the use of a theorem prover with the HETS \"haskell code mode\" also be documented?  A toy system may be appropriate here.  Thank you in advance for your time and attention.
> 
>                                                               Craig Ugoretz
> 
> --
> Diese E-Mail wurde durch den Kontaktlink der Internetseite:
> --> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm <--
> ausgeloest.
> 
> Absender: Craig Ugoretz, craigugoretz at gmail.com


-- 
Till Mossakowski    Office:      Phone +49-421-218-64226
DFKI Lab Bremen     Cartesium    Fax +49-421-218-9864226
Robert-Hooke-Str. 5 Enrique-Schmidt-Str.     till at tzi.de
D-28359 Bremen      Room 2.051   http://www.tzi.de/~till

-------------- next part --------------
A non-text attachment was scrubbed...
Name: hs2isa.ps
Type: application/postscript
Size: 249742 bytes
Desc: not available
Url : http://www.informatik.uni-bremen.de/pipermail/hets-devel/attachments/20060911/a9cecabe/attachment-0001.ps