[plt-scheme] Diagrams
Thank you. I am digging through the primer to discover how a
laboratory may be represented as an ASM ;) rac
On Jan 18, 2006, at 6:22 AM, Rolf Banting wrote:
> You all may be interested in Abstract State Machines for specification
> &
> design. Take a peek at
> http://www.eecs.umich.edu/gasm/
>
> They fit FP pretty naturally but can also be used for other paradigms.
> The
> web site has links to loads of interesting papers.
>
> The inventor, Yuri Gurevich, now works for Big Bad Bill. He has
> unleashed an
> ASM language environment that can be integrated with Dot Net. So you
> can run
> executable specs from MS Word, for example.
>
> Rolf