[plt-scheme] Diagrams

From: Richard Cleis (rcleis at mac.com)
Date: Thu Jan 19 00:43:25 EST 2006

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



Posted on the users mailing list.