Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

1999 What's New: Abstract State Machines


To receive an automated e-mail message every time this page is updated, press the button at the right. You will be asked to supply your e-mail address at that time. (Service provided by URL-minder.)

22 December 1999
15 December 1999
21 October 1999
  • Added a paper giving an ASM semantics for Standard ML.
18 October 1999
13 October 1999
2 September 1999
  • The final program for FM'99 is now available.
13 July 1999
9 July 1999
  • Updated some links on the tools page.
  • Created a page for Montages and moved/copied some references to that page.
  • Fixed some serious HTML bugs in the general papers page. If you've been having problems with some links going to the wrong place, they should (hopefully) be fixed now.
5 July 1999
  • Added a tools page and copied links for various ASM tools onto that page.
25 June 1999
6 May 1999
14 April 1999
6 April 1999
11 February 1999

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995