CoFI: The Common Framework Initiative
for Algebraic Specification and Development

November 16, 1999

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

Abstract

Welcome to the CoFI Archives!
See also The ESPRIT CoFI Working Group Home Page for administrative information and plans for future meetings.
Mirrors:
Main CoFI WWW archives at Aarhus (Denmark)
Mirror at Edinburgh (Scotland)
Mirror at Cachan (France)
Mirror at SRI International (California)
The mirrors are updated each night (local time). Here is how to set up a local mirror.
Note that the CoFI FTP archives are not mirrored at the above sites.

Latest News

16 November: A new Language Design Note has been installed:
Note L-12. Markus Roggenbach and Till Mossakowski.
Basic datatypes in CASL.
Version 0.3, November 1999.
The libraries of specifications provided in this new note supersede the specifications previously given in Note M-6. (A new version of the latter note, focussing on methodological aspects of the CASL basic datatypes, is forthcoming.)
16 November: Two new Tools Notes have been installed:
Note T-8. Dieter Hutter.
Some remarks on the annotation %cons.
October 1999.
Note T-9. Hélène Kirchner and Christophe Ringeissen.
Executing CASL equational specifications with the ELAN rewrite engine.
October 1999.
16 November: A preliminary release of the revised CASL package was announced on the Tools mailing list in May. An improved version is (still) forthcoming, and should be ready by the end of 1999...
16 November: A new version of the initial response to the IFIP WG1.3 Referee Report on the proposed CASL design, updated to reflect the design changes incorporated in CASL version 1.0, is soon to be made available.
16 November: A CoFI WG workshop was held as part of WADT'99 in Bonas, 15-18 September, 1999. See the mailing list archives for the reports of the task group meetings held concerning Language Design, Tools, and Reactive Systems.
22 July: New release of CASL Summary version 1.0 installed
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/
[Sorry for the delays: most of the changes are to the details of the concrete syntax, and they took quite some time to settle down...]
A revised version of the Summary-Changes document has been installed too, listing all the changes that have been made to the CASL Summary since the initial release in October 1998:
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/