Greg Michaelson writes:
> No one has yet confessed to using Haskell for such degenerate purposes...
See:
Howard S. Goodman "Animating Z specifications in Haskell using a
monad" , Technical report CSR-93-10, School of Computer Science,
University of Birmingham, Birmingham, England, B15 2TT, Au
Andrew Butterfield writes:
> At 15:41 +0100 20/10/97, Greg Michaelson wrote: (rearranged by me for
> dramatic effect :-)
>> But you should look at the Jones and Hayes paper from Software Engineering
>> Journal called something like "Executions are not (always) executable"
I think Greg means "_S
> No one has yet confessed to using Haskell for such degenerate purposes...
I'll confess:
LATOS -- A Lightweight Animation Tool for Operational Semantics
Latos is a tool to aid in the development of operational semantics. The
tool supports publication quality rendering using LaTeX, execu
Having been roundly savaged in these columns for suggesting that a language
may be implemented by interpreting its semantics, and that denotational
semantics is inherantly operational and hence executable, I thought it
important to re-establish my credibility with a convincing display of
orthodoxy
At 15:41 +0100 20/10/97, Greg Michaelson wrote:
(rearranged by me for dramatic effect :-)
>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 commun
