News Archives 2000

News Archives 2000

22 June

CASL version 1.0.1 Summary DRAFT installed

http://www.cofi.info/Documents/CASL/Summary/

ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/

The deadline for objections to proposed changes was 19 June 2000

No objections were raised, so all the changes implemented in the above document are therefore adopted for Casl version 1.0.1.

However, a further change to the concrete syntax of local variable declarations and axioms has now been proposed, and the finalization of v1.0.1 is now deferred to 5 July 2000, to allow time for discussion and objections to the proposal. See the latest messages on the Language Design Mailing List for details.

4 June

CASL version 1.0.1 Summary DRAFT installed

http://www.cofi.info/Documents/CASL/Summary/

ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/

Deadline for objections to proposed changes: 19 June 2000

The present Summary of Casl version 1.0.1 reflects some changes that have been made concerning the concrete syntax of Casl v1.0 (affecting only the form and position of comments and annotations). The abstract syntax and semantics of Casl v1.0.1 are the same as for Casl v1.0, apart from an adjustment of the semantics of architectural specifications (concerning whether sharing analysis affects well-formedness). Further clarifications have been made to the wording of Summary.

Note: The HTML version of the Summary now uses frames. Please let me know if you experience any problems with viewing the document using your favourite browser.

A list all of the changes relative to the Summary of Casl v1.0 is available:

http://www.cofi.info/Documents/CASL/Summary-Changes/

ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/

 

14 April

A CoFI WG workshop was held in Berlin on 1-2 April 2000, as a satellite event of ETAPS'2000. See the mailing list archives for the reports of the task group meetings held concerning Language Design, Methodology, Semantics, Tools, and Reactive Systems.
 

14 April

Note S-9, also known as the Casl Semantics, has been updated to the version distributed on the CD-ROM at FM'99.

21 March

A new Methodology Note has been installed:

Note M-8. Till Mossakowski.
How to write consistent Casl design specifications.
March 2000.

21 March

A new version of a Language Design Note is now available:

Note L-12 Markus Roggenbach, Till Mossakowski, and Lutz Schröder.
Basic datatypes in CASL.
Version 0.4, March 2000

The libraries of specifications provided in this new note supersede those in version 0.3 of Note L-12, as well as those previously given in Note M-6. (A new version of the latter note, focussing on methodological aspects of the CASL basic datatypes, is forthcoming.)
 

18 March

The Response by the Casl designers to the IFIP WG1.3 Referee Report has finally been updated, and is available from:

http://www.cofi.info/Documents/CASL/RefereeResponse/

ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/RefereeResponse/

It now reflects not only the changes to the design that were made between the submitted version 0.97 (May 1997) and the final version 1.0 (July 1998), but also various recently-published results about Casl, including its relationship to other algebraic specification languages.

18 March

A new version of a Language Design Note is now available:

Note L-12 tex dvi ps.gz Markus Roggenbach and Till Mossakowski.
Basic datatypes in CASL.
Version 0.4, March 2000

(It will be installed in the CoFI Archives as soon as possible.) The libraries of specifications provided in this new note supersede those in version 0.3 of Note L-12, as well as those previously given in Note M-6. (A new version of the latter note, focussing on methodological aspects of the CASL basic datatypes, is forthcoming.)
 

15 February

The separate archives for messages sent on the cofi-* mailing lists in 2000 have now been created. (The recent messages that inadvertently appeared in the 1999 archives have been transferred.)

12 February

Apologies for the inconvenience caused by the lack of maintenance of these web pages over the past months! Peter Mosses hopes to be able to devote significantly more time to this task in the near future (including the much-overdue renovation of the structure of the CoFI site, and the finalization of new versions of the packages for formatting CoFI and Casl documents).

12 February

The archives for messages sent on the cofi-* mailing lists have not yet been changed to 2000, so temporarily please find recent messages at the top of the 1999 archives (they are to be moved to the proper 2000 archives as soon as the latter become available).

12 February

There will be a CoFI workshop in Berlin on 1-2 April 2000, as a satellite event of ETAPS'2000. See the announcement on the main CoFI mailing list for further details.

12 February

The minutes of a meeting of the Reactive System Task Group in Genova are available.

12 February

A home page for the Reactive Systems Task Group has been created at http://www.disi.unige.it/person/ReggioG/COFI.

The home page for the Tools Task Group has URL: http://www.loria.fr/~hkirchne/CoFI/Tools/.

12 February

Peter Mosses has returned from Warsaw, and is currently in Aarhus. On 16 February, however, he will be moving to Recife, Brazil, for the final 6 months of his leave from Aarhus. E-mail sent to his usual Aarhus address, pdmosses@brics.dk, should be automatically forwarded to his account in Recife.

3 January 2000

Hyperlatex has a Y2K bug: in the command \today (which is the default \date when using the hyperlatex or cofidoc styles). The error message produced is not very helpful; the easiest diagnosis is to insert an explicit \date{whatever} in the preamble, and see whether the error disappears.

The bug may be eliminated simply by updating the Hyperlatex file english.hlx to the version in ftp://ftp.brics.dk/Projects/CoFI/Formatting/Hyperlatex-2.3.1/english.hlx. (It appears that this patch has not yet been incorporated in the official distribution of Hyperlatex.)

News Archives 2000