Re: Formal design spec into Haskell or Miranda

[Andrew Moran]

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 "_Specifications_ are not (necessarily) executable", by Ian
Hayes and Cliff Jones.  It appeared in the Software Engineering Journal,
4(6):330--338, November 1989.

Cheers,

Andy