Re: Formal design spec into Haskell or Miranda

[Greg Michaelson]

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...

No one has yet confessed to using Haskell for such degenerate purposes...

The reference is:

  Hayes & Jones, `Specifications are not (necessarily) executable',
  Software Engineering Journal, Vol 4, No 6, pp330-338, 1989

Greg Michaelson