• 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.

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

• 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.

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

• 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.

• Added a paper on choice logics.

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

• 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.

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

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

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

• 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.

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

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

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

• Added a paper on typed ASMs.

• 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.

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

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

---

Jim Huggins / huggins@acm.org

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/whatsnew/new1998.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:18 EDT