Re: Formal design spec into Haskell or Miranda

[Pieter Hartel]

> 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, execution and
  animation using a functional programming system, and derivation tree
  browsing using Netscape. The tool helps to check that a specification is
  operationally conservative.

  http://www.ecs.soton.ac.uk/~phh/latos.html

--pieter