Algebraic Specification: some old history, and new thoughts
started 11/3/2003; 11:59:25 PM - last post 11/4/2003; 11:37:08 AM
|
|
Ehud Lamm - Algebraic Specification: some old history, and new thoughts ![blueArrow](leftArrow.gif)
11/3/2003; 11:59:25 PM (reads: 6269, responses: 2)
|
|
|
Frank Atanassow - Re: Algebraic Specification: some old history, and new thoughts ![blueArrow](leftArrow.gif)
11/4/2003; 9:01:31 AM (reads: 322, responses: 1)
|
|
There is some other interesting stuff on Wagner's homepage, including two books in progress. One, "Universal algebra for computer scientists", apparently makes extensive use of Javascript both for examples and in an interactive way.
![](skull.gif)
|
|
Ehud Lamm - Re: Algebraic Specification: some old history, and new thoughts ![blueArrow](leftArrow.gif)
11/4/2003; 11:37:08 AM (reads: 296, responses: 0)
|
|
Hey! These were for another post...
![](skull.gif)
|
|
|
|