- 16 November
- A new Language Design Note has been installed:
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:
- 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/
- 22 July
- A new version of a Methodology Note has been installed:
- 22 July
- A preliminary release of the revised CASL package was
announced on the
Tools mailing list
in May. The long-promised full release is still pending, but should
be ready by the end of August (1999!).
- 22 July
- The editor of the CoFI web pages is about to move back
to Europe, and will shortly resume reading e-mail sent to his address
in Denmark: mailto:pdmosses@brics.dk.
(Mail sent to mosses@csl.sri.com will be automatically forwarded, for
a limited period.)
- 24 June
- New release of CASL Summary version 1.0
deferred to mid-July...
A revised version of the Summary-Changes document (see below) has been
installed, reflecting the final changes to be made to the CASL
Summary--except regarding various rather technical issues concerning
Concrete Syntax (Appendix C), which are
still awaiting resolution.
Moreover, a new Tools note--submitted in April, but never
installed--has been discovered, and is now available:
The note is particularly relevant to the discussion of the location of
comments. Apologies to all--especially the author--for the delay!
(By the way, the revised version of Tools Note T-3 was originally
announced as Note T-7, due to a misunderstanding.)
- 20 May
- New release of CASL Summary version 1.0 to
appear mid-June
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
The above draft document lists the adjustments, corrections and
clarifications that were proposed to be incorporated in the
CASL Summary. The
proposals concerning concrete syntax are mainly based on further
feedback from the implementation of CASL parsers; the proposals for
corrections and clarifications to the wording of the Summary concern
details that have been noticed during the final polishing of the CASL Semantics.
The current draft of this document has been prepared by Peter Mosses
in collaboration with the CoFI Language Design Task Group
coordinator, Bernd Krieg-Brückner. It was discussed by the
participants of the CoFI Language Design Task Group on the
cofi-language mailing list in the period 11-24 March 1999 and
(briefly) at the Language Design meeting during the CoFI Workshop in
Amsterdam, 27-28 March 1999.
The agreed changes to the CASL Summary are to be implemented as soon
as the remaining points mentioned in the report of the
meeting have been
decided--please react by 28th May at the latest!. These
concern the details of:
- the concrete syntax for (compound) mixfix identifiers;
- possible restrictions on the location of comments;
- the conditions on free datatype declarations (see the new
proposal);
- the annotations %cons and %imply; and
- the extended syntax for literals (see the new
proposal).
Once the above points have been settled, the list of proposed changes
will be updated to reflect the agreed changes, and the changes will be
implemented in a new release of the Summary after a short period for
objections to be raised.
- 16 November
- A
CoFI WG workshop
was held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. See
the mailing list archives for the reports of the task group
meetings held concerning
Language Design,
Methodology,
Semantics,
Tools, and
Reactive Systems.
- 20 May
- A preliminary release of the revised CASL package
has been announced on the
Tools mailing list.
The long-promised full release should now be made at the end of May,
together with a revision of the CoFIdoc package.
- 22 April
- A
CoFI WG workshop
was held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. See
the mailing list archives for the reports of the task group
meetings held concerning
Methodology,
Semantics, and
Tools.
The reports on the remaining meetings are forthcoming.
- 22 April
- A new Methodology Note has been installed:
- 15 March
- A
CoFI WG workshop
is to be held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. The workshop
programme is available. See
also the mailing list archives for the agendas of the task group
meetings to be held concerning
Language Design,
Methodology,
Semantics, and
Tools
(the agenda for the Reactive Systems meeting is not yet available).
- 15 March
- New release of CASL Summary version 1.0 pending
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
The above draft document lists the adjustments, corrections and
clarifications that are proposed to be incorporated in the
CASL Summary. The
proposals concerning concrete syntax are mainly based on further
feedback from the implementation of CASL parsers; the proposals for
corrections and clarifications to the wording of the Summary concern
details that have been noticed during the final polishing of the CASL Semantics.
The current draft of this document has been prepared by Peter Mosses
in collaboration with the CoFI Language Design Task Group
coordinator, Bernd Krieg-Brückner. It is intended for discussion by
the participants of the CoFI Language Design Task Group on the
cofi-language mailing list in the period
11-24 March 1999
and (briefly) at the Language Design meeting during the CoFI Workshop
in Amsterdam, 27-28 March 1999. The agreed changes to the CASL Summary are to be implemented as soon as possible thereafter.
The present draft starts with two proposals which may be considered as
somewhat controversial--further discussion is needed before deciding
on the adjustments to adopt, and some alternatives are indicated. It
is hoped that the remaining proposals are all uncontroversial (readers
are asked to check that for themselves...), and they will be
adopted without further discussion unless objections are raised.
- 15 March
- A new Methodology Note has been installed:
also a Language Design Note:
- 15 March
- A preliminary release of the revised CASL package
has been announced on the
Tools mailing list.
The long-promised full release should be made at the beginning of April,
together with a revision of the CoFIdoc package.
- 7 February
- A
CoFI WG workshop
is to be held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. The workshop programme is to appear
shortly. Note that the ETAPS'99 deadline for registration at the
lower rate is now 1st March 1999.
- 7 February
- See the mailing list archives for reports on the
task group meetings held in Cachan (November 1998) concerning
Language Design,
Methodology,
Semantics,
Tools, and
Reactive Systems.
- 7 February
- A preliminary release of the revised CASL package
has been announced on the
Tools mailing list.
After further testing, a full release should be made later this month,
together with the promised revision of the CoFIdoc package.
- 7 February
- Links to the 1999 mailing list
archives have been added.
- 7 February 1999
- After a longer break, these web pages are now
being updated on a regular basis again.
