Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

What's New: Abstract State Machines 1996


27 December 1996

26 December 1996

21 December 1996

19 December 1996

6 December 1996
  • Added a comprehensive list of all papers on this site, organized in traditional bibliographical order.

5 December 1996

22 November 1996

9 November 1996

8 November 1996

26 September 1996

19 September 1996
  • Added a discussion of Montages, a version of evolving algebras tailored for specifying static and dynamic semantics of programming languages.

10 September 1996

6 September 1996
  • Added a new page for benchmark examples, and copied some previous papers over.
  • Added a specification and verification of a steam boiler control system, including refinements down to the level of executable code.
  • Added a specification and verification of the pipelined DLX microprocessor.
  • Updated the bibliographic information for the specification of Occam.

8 July 1996
  • Fixed an HTML bug on the 24 June 1996 entry on this page; please re-read that entry if you have not done so.

24 June 1996

3 April 1996
  • Updated the reference for the paper on the Undo/Redo database recovery algorithm on the database page.

22 March 1996

8 March 1996
  • Added a pointer to a mailing list for evolving algebras researchers (which has existed for some time). To join, send a message to ea-request@ira.uka.de.

23 February 1996

16 February 1996
  • Updated a discussion of equivalence and inequivalence. (PostScript)

5 February 1996
  • Updated the specification and verification of a distributed railway crossing system, proposed by C. Heitmeyer of NRL. (LaTeX or PostScript)

19 January 1996
  • Added a section on tools, and added a link to an interpreter for evolving algebras. (Compressed, tarred archive for SunOS.) (In beta-test.)
  • Moved the "what's new" entries for 1995 to a separate page.

17 January 1996
  • Added a semantic definition of Occam, along with a hierarchy of provably correct refinements to the Transputer Instruction Set architecture. (PostScript)

6 January 1996
  • Updated the specification and verification of a distributed railway crossing system, proposed by C. Heitmeyer of NRL. (LaTeX or PostScript)
What's New for 1995