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

by The CoFI Task Group on Language Design

22 July 1999

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

Abstract

This document lists the adjustments, corrections and clarifications that have been incorporated in the CASL Summary, relative to the initial release (22 October 1998).

The previous version of this document (dated 12 March 1999) was discussed by the participants of the CoFI Language Design Task Group on the cofi-language mailing list in the period 12-24 March, and (briefly) at the Language Design meeting during the CoFI Workshop in Amsterdam, 27-28 March.

A revised version (dated 21 June 1999) has also been discussed on the mailing list, leading to resolution of almost all the remaining issues (which were all concerned with concrete syntax).

Full Contents

  • 1 Global Changes
  • Abstract Syntax Constructor Names
  • Display Format
  • 2 Local Changes
  • Title, p. i
  • About this document, p. viii
  • Contributors, p. x
  • Contributors, p. xi
  • Ch. 1, p. 2
  • Ch. 2, p. 7
  • Sect. 2.1.2.1, p. 11
  • Sect. 2.1.2.2, p. 11
  • Sect. 2.1.3.2, p. 13
  • Sect. 2.1.4.1, p. 14
  • Sect. 2.1.4.1, p. 15
  • Sect. 2.1.4.2, p. 15
  • Sect. 2.1.4.2, p. 16
  • Sect. 2.2.1, p. 17
  • Sect. 2.3, p. 18
  • Sect. 2.3.1, p. 18
  • Sect. 2.3.3.2, p. 21
  • Sect. 2.3.4.3, p. 24
  • Sect. 2.4, p. 25
  • Ch. 3, pp. 26-27
  • Ch. 4, p. 28
  • Sect. 4.1.1.3, p. 29
  • Sect. 4.1.2.1, p. 30
  • Sect. 4.2.1, p. 30
  • Ch. 5, p. 35
  • Sect. 6.1.5, p. 40
  • Sect. 6.2.2, p. 43
  • Sect. 6.2.2, p. 44
  • Sect. 6.3.1, p. 45
  • Sect. 6.3.1, p. 46
  • Sect. 6.4.1, p. 47
  • Sect. 6.5, p. 48
  • Sect. 7, p. 52
  • Sect. 8.1.1, p. 54
  • Sect. 8.2, p. 55
  • Sect. 8.2.2, p. 56
  • Sect. 8.3.1, p. 57
  • Sect. 8.3.1.1, p. 58
  • Sect. 8.3.1.2, p. 58
  • Ch. 10, p. 62
  • Sect. 10.1, p. 63
  • Sect. 10.2, p. 63
  • Sect. 10.2, p. 64
  • App. A, p. A-2
  • App. A.1, p. A-3
  • App. A.1, p. A-4
  • App. A.3, p. A-5
  • App. A.4, p. A-6
  • App. B, p. B-1
  • App. B.1, p. B-2
  • App. B.1, p. B-3
  • App. B.2, p. B-3
  • App. B.3, p. B-4
  • App. C, p. C-1
  • App. C.1, p. C-2
  • App. C.2, p. C-2
  • App. C.2.1, p. C-4
  • App. C.2.2, p. C-5
  • App. C.3, p. C-7
  • App. C.4, p. C-9
  • App. C.5, p. C-10
  • App. C.5.1, p. C-11
  • App. C.5.2.1, p. C-11
  • App. C.5.2.2, p. C-12
  • App. C.5.2.3, p. C-12
  • App. C.5.2.4, p. C-12
  • App. D: Display Format
  • App. D.1, p. D-1
  • App. D.2, p. D-1
  • App. E.2.1, p. E-3
  • App. E.2.7, p. E-5
  • App. E.3.4, p. E-9
  • App. E.3.5, p. E-9
  • App. F, pp. F-1, F-2
  • Acknowledgements
  • References
  • Footnotes
    • CoFI Document: CASL/Summary-Changes -- Version: 1.0 -- 22 July 1999.
    Comments to cofi-language@brics.dk