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

• Added the following papers:
  • An update of the sequential ASM thesis paper.
  • A case study of the Lamport Bakery algorithm using partially ordered runs.
  • A discussion of the use of ASMs as a query language for relational databases.

15 December 1999

• Updated the paper on choice logic.

21 October 1999

• Added a paper giving an ASM semantics for Standard ML.

18 October 1999

• Added a page for VHDL, and moved various papers from the hardware and programming languages pages to that page.
• Added the following papers:
  • A description of the use of ASMs to describe the semantics of mobile systems.
  • An ASM to SMV translation scheme (i.e. model-checking support for ASMs).
  • An extension to VHDL-AMS for dynamic equation scheduling.
  • A discussion of net delay in Verilog-HDL.
  • A discussion of logspace reducibility using ASMs.
  • A two-level specification and verification of a termination detection algorithm.
  • A Montages treatment of the static and dynamic semantics of C.

13 October 1999

• Added links to the VERIFIX project and the ASM Gofer tool to the WWW/FTP links page.

2 September 1999

• The final program for FM'99 is now available.

13 July 1999

• Added the following new papers to the Montages page:
  • An enhanced definition of Montages.
  • An application of Montages to action semantics.
  • Another description of the Gem-Mex tool.
  • A case study report on applying Montages to a domain-specific language.

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

• Added preliminary programs for FM'99, both for the full congress and for the ASM User Group track.

6 May 1999

• Added a new paper on object-oriented ASMs.

14 April 1999

• Added two new papers on VHDL.
• Added a link to the first announcement for the ASM 2000 Workshop.

6 April 1999

• Added a page on programming language description techniques, and moved the Montage paper to that page.
• Added a paper on prototyping programming languages using ASMs.
• Added a paper on "variable functions", a tool for translating functional programs to efficent imperative forms.
• Moved the Sequential ASM Thesis paper to the introductory materials page.

11 February 1999

• Added a paper given a specification and partial verification of the Windows Card runtime environment.
• Added a paper describing and justifying the sequential ASM thesis.
• Updated a paper on choiceless polynomial time.
• Added a link to a new paper on high level design and analysis with ASMs.
• Converted all compressed PostScript files from the Unix "compress" program (.Z files) to the "gzip" program (.gz files). Hopefully this change should be transparent to most of you; if you have problems, please email me.
• Happy New Year! The previous "What's New" page has been moved to What's New for 1998.

---

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995