[CoFI] News

[pdmosses@brics.dk]

 From the CoFI web pages:

Latest News

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:
        o Maura Cerioli: Different kinds of subsorting in CASL. Note M-3.
        o Michel Bidoit, Don Sannella, and Andrzej Tarlecki: 
          Architectural specifications in CASL. Note M-4.
        o Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski:
          Extending CASL with higher-order functions - design proposal. 
          Note L-8.
     Comments on these notes should be sent to the relevant mailing lists.

----   --------------------------------------------
\  /  | Peter D. Mosses - mailto:pdmosses@brics.dk |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------