What's New: Evolving Algebras 1995

[an error occurred while processing this directive] [an error occurred while processing this directive] popup('paperpopup')"> Papers

What's New

as/announce.html"> workshop on evolving algebras to be held at Schloss Eringerfeld, Germany, 17--19 May, 1996.

Added a section for evolving algebras sites, including a link to a new EA site at the University of Paderborn, Germany.

3 August 1995

Translated most of the inline images in the tutorial and the bibliography into HTML, for easier Web reading.
Added a link to a comprehensive collection of WWW pages on formal methods.

2 August 1995

Moved all evolving algebras pages to this web server. Alas, not all features (e.g. feedback forms) made the transition.

1 August 1995

Updated the link to the BRICS Evolving Algebras Mini-Course.
Added new Postscript versions of specifications of the APE100 and PVM architectures.
Added a specification and validation of the undo/redo database recovery algorithm. (LaTeX or PostScript)

13 July 1995

24 May 1995

17 May 1995

Added "mailto" links for Yuri Gurevich, Egon Börger, and Jim Huggins to the main page.

16 May 1995

Added a response to a paper of Leslie Lamport, ``Processes are in the Eye of the Beholder''. We discuss how the same two algorithms may and may not be considered equivalent. In addition, we give a direct proof of an appropriate equivalence of two particular algorithms considered by Lamport. (LaTeX or PostScript)
Added a discussion of semantics-preserving transformations (including a pass separation transformation) which may be performed on evolving algebras. (PostScript).
Added a presentation of a simple, 9-line Prolog interpreter for evolving algebras. (PostScript) The authors also have a web page discussing their work, including source code.
Added a link to an announcement of a short course on evolving algebras to be held at the Department of Computer Science of the University of Aarhus, during 7--11 August 1995.
Added a table of contents to the main page.

8 April 1995

Added a new heading to the index page on natural language, including two new PostScript papers in the area:
- An extension of a previous paper on grammars for natural languages. (PostScript)
- Evolving algebra renderings of the formalisms used most frequently in computational linguistics. (PostScript)

27 March 1995

21 March 1995

Added a specification and verification of a distributed railway crossing system, proposed by C. Heitmeyer of NRL. (LaTeX or PostScript)
Renamed the extended abstracts for an evolving algebras partial evaluator (LaTeX and PostScript) and uploaded a more detailed version of the paper (LaTeX and PostScript).

20 March 1995

10 March 1995

Updated the papers on Lamport's bakery algorithm (the previous version had erroneous references). (LaTeX or PostScript)

16 December 1994

Added an HTML version of the tutorial.
Added a description of a Prolog-based compiler for evolving algebras. An extended abstract and a full paper, both in PostScript.
Added a forms-based feedback page.
Created this page. :-)

[an error occurred while processing this directive]

Abstract State Machines