Updated the reference to the specification and verification of a
steam boiler control
system, including refinements down to the level of executable
code.
Springer-Verlag now has
citations on the web for its Lecture Notes in Computer Science series;
most papers appearing on this site that were published in LNCS now have
links to the appropriate LNCS volume.
Added a discussion of Montages,
a version of evolving algebras tailored for specifying
static and dynamic semantics of programming languages.
10 September 1996
Updated the evolving algebras
tutorial to bring it up-to-date with the Lipari Guide. (One small change
regarding how contradictory updates are executed.)
6 September 1996
Added a new page for benchmark
examples, and copied some previous papers over.
Added a specification and verification of a
steam boiler control
system, including refinements down to the level of executable
code.
Added a specification and verification of the pipelined
DLX microprocessor.
Updated the bibliographic information for the specification
of Occam.
8 July 1996
Fixed an HTML bug on the 24 June 1996 entry on this page;
please re-read that entry if you have not done so.
24 June 1996
Added/updated the following papers:
presented at
CSL'95:
Added a pointer to a mailing list for evolving algebras
researchers (which has existed for some time). To join,
send a message to
ea-request@ira.uka.de.
Updated a discussion of equivalence and inequivalence. (PostScript)
5 February 1996
Updated the specification and verification of a distributed railway
crossing system, proposed by C. Heitmeyer of NRL. (LaTeX
or PostScript)
19 January 1996
Added a section on tools, and added a
link to an interpreter for evolving algebras. (Compressed, tarred archive
for SunOS.) (In beta-test.)
Moved the "what's new" entries for 1995 to a separate page.
17 January 1996
Added a semantic definition of Occam, along with a hierarchy of
provably correct refinements to the Transputer Instruction Set
architecture. (PostScript)
6 January 1996
Updated the specification and verification of a distributed railway
crossing system, proposed by C. Heitmeyer of NRL. (LaTeX
or PostScript)