On Mon, 20 Oct 1997, Greg Michaelson wrote:
...
> dissertation. But you should look at the Jones and Hayes paper from Software
> Engineering Journal called something like "Executions are not (always)
> executable" to discover why persons of good taste in the formal community
> will no longer speak
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 o
Surely the very suggestion that formal specs can be translated into anything
is heresy, unless you're working with an executable subset. Oh, you
can always call it constructive refinement: there's a new project looking
at this at the University of Essex. There was also some work on translating
VDM
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]
