- 6 November
- The working document providing the formal semantics
of CASL has been updated to CASL v1.0, and installed:
- 6 November
- A new Methodology Note has been installed:
- 29 October
- Some internal links have been made relative, so that
they should remain within the local mirrors. Please notify
the editor straight away about any
problems with links!
- 29 October
- A mirror has been established at SRI
International,
California. The
mirror is updated each night (local time).
- 29 October
- Directions for creating a local mirror have been
added to the page on downloading.
- 23 October
- Release of CASL Summary version 1.0!
The CASL Summary version 1.0 has now been released, and
can be accessed in various formats via the URLs:
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/
Please notify the editor
straight away about any problems with browsing or printing the
document! The Postscript is generated by dvips for A4 format by
default, but the complete document is now also available as Postscript
generated for printing on Letter-size paper, as well as a DVI file.
(In the future, all documents should be made available in PDF, which
appears to have some advantages over Postscript and DVI.)
Those interested in the changes that have been made since version 0.99
of the CASL Summary may like to browse the following documents, where
all changes are marked and listed:
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0/
In the WWW format, the list of changes links directly to the changes
themselves, the extent of which is clearly marked; in the LaTeX
format, the list references the pages where the changes have occurred.
Finally, thanks to all who found the time and energy to
read through the final draft version of the CASL Summary, and
who provided the editor with much helpful advice for improving it!
- 22 October
- The release of the revised CoFIdoc and CASL packages
for LaTeX and Hyperlatex has been delayed, and may not happen until
around the first week of November. (The packages seem to work OK, but
the documentation for the CASL package needs a major revision.)
- 22 October
- A further Language Design Note has been installed:
Also, a revised version of a Tools Note has been installed:
- 29 September (updated 2 October)
- As
announced on the main CoFI
mailing list, a CoFI workshop will take place in Cachan, just
outside Paris, starting on Saturday 7 November after lunch and
finishing on Tuesday 10 November in the early evening. (The
plan originally announced was for the meeting on Reactive Systems to
continue until Wednesday noon.)
Please register as soon as possible!
- 2 October
- Release of final draft of CASL Summary v1.0!
The original plan was to release the final draft of the CASL Summary
version 1.0 by mid-September. However, on-going discussions in both
the Semantics and Tools task groups had recently raised further
delicate questions about some details of the CASL design, and a bit
more time was needed to resolve these last points...
The final draft of the CASL Summary v1.0 has now been installed, and
can be accessed in various formats via the URLs:
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0-DRAFT/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0-DRAFT/
Please notify the editor straight
away about any problems with browsing or printing the document.
(Apparently some sites in the US have problems with printing A4-format
Postscript; but hopefully, the DVI format of the current version of
this documents is completely portable, now that changebars are no
longer exploited.)
Notice that there is now an automatically-generated list of changes,
inserted just before the beginning of Part I, with links to the
changes themselves in the WWW format. The changes are highlighted in
colour there too. The Index (of concepts) has a nicer format than
before on WWW.
The plan is now:
- 5 October:
- Release of revised CoFIdoc and CASL packages
- 15 October:
- Deadline for objections to changes
- 22 October:
- Release of final CASL Summary v1.0
Thanks for your patience!
- 29 September
- As
announced on the main CoFI
mailing list (and other lists), a CoFI workshop will take place in
Cachan, just outside Paris, starting on Saturday 7 November after
lunch and finishing on Wednesday 11 November in the afternoon.
Please register as soon as possible!
- 12 September
- Release of final draft of CASL Summary delayed!
The plan WAS to release the final draft of the CASL Summary
version 1.0 by mid-September. However, on-going discussions in both
the Semantics and Tools task groups have recently raised further
delicate questions about some details of the CASL design, and it
appears that a bit more time is needed to resolve these last points...
A further relevant factor is that the editor of the CASL Summary will
be away from the net from 14-28 September, and is reluctant to leave
possible questions and comments on the new version unanswered during
the entire period that had been allowed for objections.
Therefore, the plan is now:
- 27 September
- Conclusion of feedback from task groups
- 1 October:
- Release of DRAFT of CASL Summary v1.0
- 15 October:
- Deadline for objections to changes
- 22 October:
- Release of final CASL Summary v1.0
The editor of the CASL Summary must apologize for not having been able
to keep to the previous plan, which would have ensured the
finalization of the CASL design in time for the start of the new CoFI
WG, as well as leaving more time before the forthcoming task group
meetings in Cachan. Hopefully, the present delay will indeed be the
very last one--and will help substantially to avoid having to produce
a version 1.0.1 too soon!
- 12 September
- The editor of the CoFI web pages at Aarhus is away
from the net from 14-28 September. In case of access problems,
please try the mirrors in
Edinburgh
or
Paris
- 7 September
- Some e-mail addresses and other data on the various
CoFI pages have been updated. Please let the editor know about any
further changes that should be made.
- 15 August
- As
announced on the main CoFI
mailing list, Don Sannella
is now the overall coordinator of CoFI. The former overall
coordinator, Peter Mosses, is away from Aarhus on sabbatical leave,
but will continue to maintain the CoFI archives and participate in
various CoFI activities.
- 15 August
- As also
announced on the main CoFI
mailing list, A CoFI Working Group with ESPRIT funding is about to
start! See the CoFI Working Group Home Page at
Edinburgh for
administrative information and plans for future meetings.
N.B. It is highly likely that some CoFI meetings will be held
during WADT'99,
Château de Bonas, France, 15-18
September 1999. The number of places available at the Château is
limited. All those who intend to participate in WADT'99 are asked to
pre-register by completing the pre-registration form without delay,
and in any case before:
10th September 1998 (THIS year!)
Pre-registered participants are guaranteed a place at the Château,
and will later be sent further details concerning final registration
for WADT'99. A high number of pre-registered participants should
enable WADT'99 to obtain particularly-favourable room rates at the
Château.
- 15 August
- The discussion on the Language Design mailing list of
the changes made in CASL version 0.99 has finished. The editor of the
CASL Summary will soon provide a list of the final changes that are
planned for version 1.0, incorporating the feedback (so far) from the
Semantics, Methodology, and Tools task groups. The plan is to release
the final draft of version 1.0 by mid-September, with the end of
September (1998!) as the deadline for objections.
As mentioned in the Language Design task group coordinator's
message, some points
concerning annotations, parsing, and formatting are still awaiting
clarification. Those concerned with these issues are requested to
send proposals to the Language Design mailing list as soon as possible!
- 15 August
- The Semantics group is still validating the changes
that have been made to the CASL design since version 0.97; see the
Semantics mailing
list for details and
progress reports. Any feedback on the CASL design (in the form of
proposals for adjustments) will subsequently appear on the
Language Design mailing
list.
- 15 August
- The updated Methodology Note
M-4 (now with examples of architectural
specifications)
announced on
the Methodology mailing list, has been installed.
- 18 June
- The DEADLINE for final reactions to the
changes made in CASL version 0.99 is Friday 19 June! See the
Language Design task group coordinator's recent
message on the mailing
list for further details regarding finalization.
- 18 June
- A further Semantics Note has been installed:
Note also that Methodology Note M-4, on Architectural Specifications,
is about to be updated. The update will be announced on the
Methodology mailing
list.
- 18 June
- The Semantics group is still validating the changes
that have been made to the CASL design since version 0.97; see the
Semantics mailing
list for details and
progress reports. Any feedback on the CASL design (in the form of
proposals for adjustments) will subsequently appear on the
Language Design mailing
list.
- 18 May
- The Semantics group is currently validating the changes
that have been made to the CASL design since version 0.97; see the
Semantics mailing
list for details and
progress reports. Any feedback on the CASL design (in the form of
proposals for adjustments) will subsequently appear on the
Language Design mailing
list.
- 18 May
- The moderator of the Language Design mailing list is now
(as orginally) the language design task group coordinator: Bernd
Krieg-Brückner,
bkb@informatik.uni-bremen.de.
The "temporary" moderator over the past two years, PDM, thanks the
contributors for their submissions, and thanks everyone for tolerating
the many comments that he has inserted when forwarding messages.
- 18 May
- Pending revision (to correct some misconceptions about
CafeOBJ methodology) access to the previously-announced tentative
document by Peter D. Mosses: CASL for CafeOBJ Users, has been
suspended. The new version will be announced when it is ready
(probably early June).
- 21 April
- Version 0.99 of the CASL
Summary has now been installed!
The body (up to and
including Appendix A) and the
appendices (Appendices
A-F) are available separately (compressed postscript only).
An alternative document has also been installed with highlighting of
all significant
changes since the
draft of version 0.99. (Browsing the web version of it may be the
most convenient for occasional reference.)
This announcement has been sent to the main mailing list. Any
complaints about the changes made (or not made), and discussion of the
still-tentative syntax and semantics for views, should be sent to the
Language Design mailing list.
- 20 April
- Version 0.99 of the CASL
Summary is still being
adjusted, not only taking account of the proposed (relatively minor)
changes, but also making some last-minute improvements to the
description of translations and reductions. It should be installed by
mid-afternoon. An announcement will be sent to the main mailing list
when it's ready. Thank you for your patience!
- 15 April
- Version 0.99 of the CASL
Summary is currently
being adjusted to take account of the proposed (relatively minor)
changes, and about to be finalized.
Any last-minute comments or questions on the Summary should be sent
without delay to the Language Design mailing
list. The deadline for
comments (originally 8 April, but extended due to Easter holidays) is:
NOON TODAY !
The previously-announced documents presenting the draft version 0.99
abstract and concrete syntax have been superseded by the
appendices of the new Summary, and are no longer accessible. (The
appendices are available separately from the main body of the
document, for convenience of downloading and printing.)
- 15 April
- The minutes of the CoFI Tools meeting in
Lisbon have appeared on the Tools mailing
list. The minutes of the
other meetings (Language Design, Semantics, Reactive Systems) are
not yet available, but expected to appear shortly.
- 15 April
- Two papers comparing CASL with other specification
languages have recently been installed:
It is intended to revise both the above documents in the near future,
to take account of the final changes to the CASL design and to
incorporate suggestions for improvements. Please send any comments to
the author by 15 May 1998.
- 27 March
- Further notes have been installed, and participants of
the CoFI meetings in Bremen are requested to bring copies with them
(as well as version 0.99 of the CASL
Summary):
The following previously-announced notes should also be brought to
Lisbon:
Comments on these notes should be sent to the relevant mailing lists.
- 25 March
- The long-awaited version 0.99 of the CASL
Summary, adjusted to
take account of the recent changes to the abstract syntax and
incorporating concrete syntax for the entire language, has now been
installed, as announced today on the main CoFI mailing
list. It is hoped that,
thanks mainly to the concrete syntax, the document is now much more
accessible than hitherto.
Please send any comments or questions on the Summary to the Language
Design mailing list.
The deadline for comments is 8 April 1998 !
The previously-announced documents presenting the draft version 0.99
abstract and concrete syntax have now been superseded by the
appendices of the new Summary, and are no longer accessible. (The
appendices are available separately from the main body of the
document, for convenience of downloading and printing.)
- 27 February
- The long-awaited version 0.99 of the CASL Summary,
adjusted to take account of the recent changes to the abstract syntax,
is not yet ready: incorporating the concrete syntax into the summary
is taking longer than anticipated. (Version 1.0 is to be the polished
final version, with hopefully only cosmetic differences from version
0.99.)
- 17 February
- Version 0.99 of the CASL abstract
syntax, concrete
syntax, and
examples have now
been installed. The remaining concrete syntax issues (apart from a
late-breaking reconsideration of precedence and associativity of
logical connectives) concern only architectural specifications and
views (named morphisms). Implementations of prototype parsers for
CASL (basic and structured specifications) appear to have been
successful, and are now being validated.
- 17 February
- The long-awaited version 0.99 of the CASL Summary,
adjusted to take account of the recent changes to the abstract syntax,
should become available early next week. (Version 1.0 is to be the
polished final version, with hopefully only cosmetic differences from
version 0.99.)
- 10 February
- The messages sent recently to the
cofi-language mailing
list contain a revised
proposal for named morphisms (views), and proposals for various minor
adjustments to the DRAFT CASL version 0.99 concrete
syntax and
examples as
well as to the abstract
syntax. The editor of these
documents is revising them accordingly, and the long-awaited
version 0.99 of the CASL Summary should become available by within a
week or so. (Version 1.0 is to be the polished final version, with
hopefully only cosmetic differences from version 0.99.)
- 4 February
- The following was prefixed to the WADT CFP on the
main CoFI mailing
list on 28 January:
[Many CoFI participants will be attending ETAPS/WADT in Lisbon, and
meetings of the CoFI task groups on Language Design, Semantics, Tools,
and Reactive Systems will be held adjacent to (or perhaps even during)
WADT. Further details will be announced on this mailing list as soon
as possible. Don't delay with submitting a talk for WADT: the
remaining free slots will soon be gone! -PDM]
A tentative schedule for the CoFI
meetings in Lisbon, 1-4 April 1998, is now available. Due to other
events, the CoFI meetings will all have to be very short.
- 4 February
- The following was announced on the
cofi-language mailing
list on 23 January:
At the meetings in Bremen (9-11 January 1998)
participants of the Tools, Methodology, and Language Design task
groups discussed issues affecting the abstract syntax and semantics of
CASL, as well as concrete syntax.
Moreover, the meetings were followed by some e-mail
discussions--mainly between the coordinators of the Language Design,
Semantics, and Methodology task groups--leading to further proposals.
This message includes a brief summary of the proposed changes to CASL.
It [is] followed [...] by supplementary messages that
address particular topics: concrete syntax, conservative extensions,
and named morphisms.
Please note especially that the CASL design (concrete and abstract
syntax, intended semantics) is to be FROZEN after the proposed
changes, listed below, have been properly discussed on this mailing
list! [...]
Final deadline for objections: Monday 9 February 1998
Provided we have reached a resonable consensus concerning the proposed
changes by then, the discussions will be concluded, and the
long-awaited version 0.99 of the CASL Summary should become available
by mid-February. (Version 1.0 is to be the polished final version,
with only cosmetic differences from version 0.99.)
- 4 February
- The authors of the concrete syntax proposal
have updated it to draft
version 0.99, and
similarly for the
examples,
reflecting the changes that were agreed upon in Bremen--trying also
to resolve as many of the remaining issues as possible, prior to the
release of what will hopefully be the final version. The details were
announced on the cofi-language mailing
list on
23 January. Sorry that this part of the language design has taken so
long!
- 4 February
- Also a tentative proposal for the syntax of
named morphisms ("views") in CASL was sent to the
cofi-language mailing
list on 23 January; the
subsequent discussion appears to have resulted in a particularly
simple proposal for the changes to the abstract syntax of CASL.
- 21 January
- After the (very pleasant and productive!) task group
meetings held in Bremen, 9-11 January, 1998,
the authors of the concrete syntax proposal have been working to
accommodate the changes that were agreed upon there--trying to
resolve as many of the remaining issues as possible, prior to the
release of what will hopefully be the final version. The details are
to be announced on the cofi-language mailing list tomorrow (Friday)
afternoon. Sorry that this part of the language design has taken so
long!
Also a tentative proposal for the syntax of named morphisms in CASL
will be sent to the cofi-language mailing list tomorrow.
Minutes of the Tools and Methodology task group meetings will be sent
to the respective mailing lists in due course.
- 21 January
- Further notes were installed just before the Bremen
meetings:
Comments on these notes should be sent to the relevant mailing lists.
- 6 January
- Further information has been added about the meetings
to be held in Bremen, 9-11 January, 1998. (It
has also been sent by e-mail to the registered participants of the
meetings.)
- 6 January
- Christine Choppy has written a note on datatype
declarations in CASL. It has been installed as Note
M-2. (The note by Hubert Baumeister on
naming the Use of Extension and Union, previously made
available from Paris, has now been installed as Note
M-1.)
