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 [an error occurred while processing this directive]