Martin,
>
> Does anyone know of any translation work from a fomal
> design specification language (such as Z) to Haskell or
> Miranda?
> Thanks
> Martin
> ---------------------------------------
> HYDE M.D
> [EMAIL PROTECTED]
>
>
I have done some work on automatic translation of formal
specifications written in VDM-SL into Gofer. See
Automatic Translation of VDM-SL Specifications into Gofer
P. Mukherjee, FME '97: Industrial Applications and Strengthened
Foundations of Formal Methods, J. Fitzgerald, C. B. Jones and
P. Lucas (eds), Springer-Verlag LNCS 1313, 1997.
It is also available electronically:
http://www.scs.leeds.ac.uk/paulm/publications.html/fme97.ps.gz
Paul.
====================================================================
Dr Paul Mukherjee | email: [EMAIL PROTECTED]
School of Computer Studies | tel: 0113 233 5193
University of Leeds | fax: 0113 233 5468
Leeds LS2 9JT. | WWW: www.scs.leeds.ac.uk/paulm/
====================================================================
