What's New: Abstract State Machines

16 September 2003

• Added the following papers:
  • A paper discussing mergesort and machines (using recursive multi-agent ASMs).
  • A paper discussing mergesort and machines (using turbo ASMs).

2 September 2003

• Added a new page for UML papers and moved several existing papers to that page.
• Added new entries to the Theses list on the ASM Community page.
• Added some links to the For Educators page.
• Added a link for the ASM Tests Generation Tool to the Tools page.
• Added a link with photos from ASM 2003 to the ASM Community page.
• Added the following papers:
  • A paper on hidden computation steps in Turbo ASMs.
  • A thesis including generic behavioral extensions to UML.
  • A paper using ASM update sets to give imperative programming language semantics.
  • A paper on abstract encryption.
  • An ASM operational semantics for Smalltalk.
  • A paper using ASMs to give operational semantics to database transactions.

19 August 2003

• Added the following papers:
  • A paper on automated compiler test suite generation (using Montages).
  • An earlier work on the above.
  • A paper on Java JVM->Bytecode compiler verification.

14 May 2003

• Added the following papers:
  • An ASM model for grid systems.
  • A verification of a parallel architecture for Prolog systems.
  • A comparative study on computation and specification models (using ASMs).

1 April 2003

• Added a page for ASM books.
• Added a page for educational materials.
• Added links for the AsmBook.
• Added an introductory primer for ASMs.

15 January 2003

• The previous "What's New" page has been moved to What's New for 2002.
• Updated a paper on verifying UML models.

What's New for 2002

What's New for 2001

What's New for 2000

What's New for 1999

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995 [an error occurred while processing this directive]