CASL
The Common Algebraic Specification Language
Summary
-- LIST OF CHANGES --

by The CoFI Task Group on Language Design

15 March 2001

CoFI
This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/.

Copyright ©2001 CoFI, The Common Framework Initiative for Algebraic Specification and Development.1

Abstract

This document lists the adjustments, corrections and clarifications that have been made to the CASL Summary, version 1.0 (dated 22 July 1999) to obtain version 1.0.1 (dated 15 March 2001). N.B. The page and section numbers cited below refer to the original version 1.0, not to the new version.

[CHANGED:] An interim version 1.0.1-DRAFT of the CASL Summary was made available on 4 June 2000, together with a list of changes. Further changes made to the Summary between version 1.0.1-DRAFT and version 1.0.1 are distinguished in this list of changes in the same way as this paragraph. []

Navigation

  • Contents
  • Changes not concerning concrete syntax
  • Changes concerning concrete syntax
  • Acknowledgements
  • References
  • Footnotes
  • Brief Contents
  •  


    CoFI Document: CASL/Summary-Changes -- Version: 1.0.1 -- 15 March 2001.
    Comments to cofi-language@brics.dk