[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 |
---- --------------------------------------------