2000 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.)

28 November 2000

Added a paper on verifiability and electronic commerce.
Added an early paper on automatic verifiablity of ASMs.

9 November 2000

Added a paper giving details on a self-applicable partial evaluator.

7 November 2000

Added an older paper on PVS representations of ASMs.

17 October 2000

Added a paper on UML state machines.

6 October 2000

Added the following papers from the ASM'2000 Workshop:
- A paper on lessons learned from model checking the FLASH cache coherence protocol. A paper on
- large typed ASMs.

30 September 2000

Created a page for ASM Extensions and moved several papers there from the ASM Explorations page.
Added the following papers from the ASM'2000 Workshop:
- A paper on automatic verifiability of ASMs.
- A paper on microprocessor specification from register transfer descriptions using ASMs.

29 September 2000

Added the following papers from the ASM'2000 Workshop:
- A paper on ASM to PVS transformations.
- A paper on modular definitions of programming languages.
- A paper on a refinement calculus for ASMs.
- A paper on hybrid ASMs (using hyperreals).

7 September 2000

Added the following papers from the ASM'2000 Workshop:
- A paper on verifying real-time refinements.
- A paper on self-applicable partial evaluation.
- A paper on the semantics of SDL-2000.

5 September 2000

Added a subject page for protocols.
Added the following papers from the ASM'2000 Workshop:
- A paper on XASM, an executable ASM language and environment.
- A survey of work on verification of timed algorithms.
- An extended abstract on an ASM dynamic semantics for Standard ML.

25 July 2000

The massive re-organization is done; hopefully, splitting most of the large pages into smaller ones will make things easier for everyone. If you find problems, please let me know.
As a result of the re-organization, virtually all of the web pages are now HTML 4.0 compliant as well as Bobby 3.1 compliant.
Coming soon: roughly 20 papers from the ASM'2000 meetings in March, along with a few other papers.

7 June 2000

A massive re-organization of the pages on this site is underway; chiefly, splitting big pages into smaller ones and eliminating redundant information across the site. Once it's all done, everything should work great; in the meantime, there may be occasional problems with broken or missing links. I will try to keep everything accessible during the conversion; please let me know if you experience any problems. Apologies in advance for the inconvenience.

16 May 2000

Added a page for industrial reports and added slides to that page on an industrial application of ASMs, presented at ASM 2000.

12 May 2000

Added a paper on ASM semantics for UML activity diagrams.

12 April 2000

A link to the Call for Participation for the ASM 2001 Workshop at EUROCAST 2001 is now available.

8 February 2000

Updated the sequential ASM thesis paper.

7 January 2000

Added a paper on Java concurrency.
Created a new page devoted to Java, and moved all the existing Java papers from the programming languages page there.
Happy New Year! The previous "What's New" page has been moved to What's New for 1999.

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