[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

FINAL DRAFT of Tentative Language Design Summary available



Recent News from CoFI:

26 November 1996:
     [Design Proposal] The FINAL DRAFT of the Tentative Design Summary for
     CASL, the COFI Algebraic Specification Language, is now available.
     Please read it!

          Deadline for comments: Monday 9 December

     A list of changes from the previous version (0.94) is in preparation,
     and will be sent to the cofi-language mailing list.

26 November 1996:
     It has been decided that the acronym of the main COFI language is CASL.
     The interpretation is still open to discussion: COFI Algebraic
     Specification Language was the original idea, but some feel that
     `algebraic' is too much associated with purely equational
     specifications.

26 November 1996:
     The working meetings held in Edinburgh (10-12 November) were successful
     in resolving the major remaining issues (variable declarations, generic
     specifications, architectural specifications, compound identifiers).
     Some minor adjustments were made to some other constructs.

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