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]
Formal design spec into Haskell or Miranda
HYDE M.D Mon, 20 Oct 1997 14:29:45 +0100 (British Summer Time)
- Re: Formal design spec into Haskell or Miranda HYDE M.D
- Re: Formal design spec into Haskell or Miranda Greg Michaelson
- Re: Formal design spec into Haskell or Miranda P Mukherjee
- Re: Formal design spec into Haskell or Miranda P Mukherjee
- Re: Formal design spec into Haskell or Miranda Andrew Butterfield
- Re: Formal design spec into Haskell or Miranda Andrew Moran
- Re: Formal design spec into Haskell or Miranda Greg Michaelson
- Re: Formal design spec into Haskell or Miranda Pieter Hartel
- Re: Formal design spec into Haskell or Miranda Jon Mountjoy
