This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
This and the accompanying documents comprise the complete CASL Design Proposal, which is hereby submitted by CoFI to the IFIP Working Group on Foundations of System Specification, WG 1.3.
The final adjustments to the proposed design for CASL have just been made, and are reflected in version 0.97 of the CASL Summary [LD97c], which gives an abstract syntax for CASL and informally describes the intended semantics. The Rationale for CoFI [CoF97] and for the CASL Proposed Design [LD97b] have now been updated to version 0.97 too. A summary of the intended tools [Too97] for CASL has been provided by the Tools Task Group. Both Syntax and Examples proposals [KB97][VBC97] have now been updated too. Would all meeting participants please bring their copies of all the above documents with them to Tarquinia!
The draft Formal Semantics [Sem97] is currently being updated to version 0.97. It is currently available only in the version corresponding to version 0.95 of the Summary. Printed copies of the updated version of this document will be made available at the IFIP meeting, as it is expected to be ready only a few days beforehand; however, the current version generally gives a good impression of what may be expected, so one may like to browse or print it straight away.
The overall CoFI coordinator must apologize to IFIP WG 1.3 for not having been able to provide final versions of all the documents at the time of submission of this Design Proposal. The submission reflects the best that we could manage with the time and (voluntary) resources available.
One further accompanying document is being provided: a record of dissenting views concerning particular points of the CASL Proposed Design [LD97a]. Although there appears to be broad support for most of the design within the CoFI Task Group on Language Design, some participants (including the coordinator of the language design!) feel that the decisions were sometimes too hasty; their views should, of course, be made available to IFIP WG 1.3 in an organized form, apart from being discussed on the relevant mailing-list (cofi-language@brics.dk).