What's New: Abstract State Machines 1996

27 December 1996

Added a paper on typed ASMs.
Added author and title indexes for all materials on this site.

26 December 1996

Added a new page on explorations of the ASM methodology, and moved the papers on partial evaluation and transformations from the miscellany page there.
Added a paper on recursive ASMs.

21 December 1996

Added updated versions of the papers on PROTOS-L (PAM) and Babel.
Updated the references to the Occam papers.
Several papers in the collection appeared in Specification and Validation Methods (published by Oxford University Press). Links to the web page for this volume have been added to the appropriate citations.
The URL for the University of Paderborn WWW site has changed to http://www.uni-paderborn.de/cs/asm.html; links to that site have been updated accordingly. (The old links should work for awhile as well.)
Copied reference to the Occam to Transputer paper to the compiler correctness page.
Copied reference to the PVM paper to the distributed systems page.
Copied references to the PROTOS-L (PAM) papers and the CLP(R) paper to the programming languages page.

19 December 1996

Updated the solution to the Broy-Lamport Specification problem.
Added a specification and verification of pipelining in the commercial ARM2 RISC microprocessor.

6 December 1996

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

5 December 1996

The methodology has a new name: Abstract State Machines or Gurevich Machines. The pages on this site have been updated to reflect the new name.
In accordance with the new name, a new URL for this web-site is now available: http://www.eecs.umich.edu/gasm/. The former URL, http://www.eecs.umich.edu/ealgebras/, will work indefinitely.
In accordance with the new name, a new URL for the University of Michigan FTP site is now available: ftp://www.eecs.umich.edu/groups/gasm/. The former URL, ftp://www.eecs.umich.edu/groups/Ealgebras/, will work indefinitely.
Added a new page on compiler correctness, and copied all papers from the WAM page to that one.
Added a paper on the correctness of the static link technique (used in stack-based implementations of imperative programming languages).
Added a paper exploring the use of timed transition systems applied to the railroad crossing problem.
Removed links to the events page. (The only event listed on the page occurred six months ago...)

22 November 1996

Added a new page for logic, and moved some papers there from the miscellaneous page.
Added a paper on metafinite model theory.
Updated the discussion on equivalence and inequivalence.
Updated the reference to the specification and verification of a steam boiler control system, including refinements down to the level of executable code.
Springer-Verlag now has citations on the web for its Lecture Notes in Computer Science series; most papers appearing on this site that were published in LNCS now have links to the appropriate LNCS volume.

9 November 1996

Added links for Angelica Kappel to the WWW/FTP page and the interpreters page.
Updated the paper on montages.

8 November 1996

Updated the discussion on equivalence and inequivalence.

26 September 1996

Added links to the WWW/FTP Site List for the home pages of Arnd Poetzsch-Heffter and Alan Kaplan.
Added a paper using EAs to enable generation and refinement of interpreters from formal language specifications.
Added a paper using EAs to develop partial correctness logics for programming languages.

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

Updated the evolving algebras tutorial to bring it up-to-date with the Lipari Guide. (One small change regarding how contradictory updates are executed.)

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

Added/updated the following papers: presented at CSL'95:
- A specification and verification of a distributed railway crossing system, proposed by C. Heitmeyer of NRL.
- A simple, 9-line Prolog interpreter for evolving algebras.
- An evolving algebra abstract machine, which gives a formal definition of the EAM ground model in terms of a universal evolving algebra.
Updated the reference to a paper on evolving algebras and computational linguistics.
Added compressed PostScript versions of all the PostScript papers.

3 April 1996

Updated the reference for the paper on the Undo/Redo database recovery algorithm on the database page.

22 March 1996

Added a call for papers for a special issue of the Journal of Universal Computer Science on evolving algebras.

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

Broke the evolving algebras home page into several separate pages. Added an introduction to evolving algebras, as well as a more comprehensive list of WWW/FTP sites dealing with evolving algebras.

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