Abstract State Machines: What's New 1998

---

29 December 1998

• Added a paper describing initialization problems in Java.

6 November 1998

• Added a paper describing the semantics of the intermediate programming language MIS.

19 October 1998

• Added a description of the use of many-sorted algebraic specifications and ASMs for dynamic system specification.

16 October 1998

• Egon Börger's FTP site has moved to ftp:ftp.di.unipi.it/pub/Papers/boerger.
• Added the following papers:
  • An extended abstract describing an SOS-semantics for non-distributed deterministic ASMs.
  • A proposed extension of ASMs to include forced synchronized moves of ASM agents.
  • A proposed extension of ASMs to include message-passing interactions between independent ASM modules. (An extended abstract and a full paper.)
  • An environment for analyzing cryptographic protocols.

8 October 1998

• Added the following papers:
  • A specification and verification of the Stanford FLASH cache coherency protocol.
  • A description of the ASM Workbench.
  • A description of an approach to mechanical verification of BURS-based compiler back-ends using ASMs and PVS.
  • A description of reusable correct compilations using ASM specifications.
  • A proposed extension of ASMs to include objects.

7 October 1998

• Added a paper describing mapping automata (a variant of ASMs).
• Updated various links and pages dealing with the FM'99 conference.

6 October 1998

• Added two papers on analysis of hardware/software systems.
• Added another paper on the Gem-Mex tool.
• Updated the papers (and the references) for the specification and verification of the ARM microprocessor.

15 September 1998

• Added links to the Call for Papers for the ASM Mini-Track and the ASM User Group Meeting at FM'99 (September 1999, Toulouse, France). (Thanks to the ASM Europe pages for the nice formatted version of the CFPs.)

25 August 1998

• Reorganized the WWW/FTP Sites page, and added links for the ASM Workbench and object-based mapping automata
• Updated the Börger and Schulte paper on Java.
• Fixed some problems with frames from the home page. Please send email to Jim Huggins if you notice any new problems.

24 August 1998

• Added a paper on choice logics.

8 June 1998

• Added a paper describing the Java Virtual Machine using ASMs.
• Added a paper describing an extension of ASMs to include object-based constructs.

26 May 1998

• Added a new draft of the paper on typed ASMs.
• All papers on this web site (104 of them!) are now available in Adobe's Portable Document Format (PDF). PDF files can be read using Adobe's free Acrobat Reader software, available for most major operating systems.

22 May 1998

• Added a page with the Call for Papers for FM'99: World Congress on Formal Methods (at which an ASM Users Group meeting will be held).

5 May 1998

• Added a paper describing a set of generic ASM set macros.
• Added a new draft of the paper on typed ASMs.

7 April 1998

• Added a new draft of the paper on typed ASMs.
• Updated the bibliographic reference to the commented ASM bibliography.

31 March 1998

• Added a paper giving a modular specification of the dynamic semantics of Java using ASMs.
• Updated the links to the home page for the Gem-Mex tool.

21 March 1998

• Added the button above to enable automatic email notification of changes to this page. (Courtesy of URL-minder.)

5 March 1998

• Updated the discussion of continuous-time logics and the railroad crossing problem.

30 January 1998

• Added an article which gives an overview of the motivations behind and uses of ASMs.

22 January 1998

• Added a paper on typed ASMs.

14 January 1998

• The recent commented ASM bibliography has been incorporated into the Collection of Computer Science Bibliographies, a collection of over 800,000 references to scholarly work in computer science. You can search the entire collection or just the ASM collection.

13 January 1998

• Added a preliminary version of a static and dynamic semantics for Java.

6 January 1998

• Added the following papers:
  • A commented ASM bibliography, listing all ASM papers published as of the end of 1997, including a pointer to the BibTeX source file (which will be continuously updated).
  • A description of the semantics of SDL in terms of a multi-agent, real-time ASM.
  • A formal specification and analysis of the Kerberos Authentication System.
• Added a page on security, on which the Kerberos paper appears.
• Removed the previous version of the ASM bibliography.
• Happy New Year! The previous "What's New" page has been moved to What's New for 1997.

---

What's New for 1997

What's New for 1996

What's New for 1995