Version History

This note is a second draft proposal for a CASL library of standard basic datatypes revising the first version,

Version 0.1,

installed in the CoFI archives at 3 March 1999,

• The section "Some Remarks Concerning the Style of the Specifications" of version 0.1 is substituted by a completely new section "Rules of Methodology", which provides a style guide how to write requirement specifications in CASL.
• The specifications of version 0.1 have been rewritten obeying these "Rules of Methodology". The main differences are:
  • labelling of all axioms (see "Rules of Methodology", subsection 2.3),
  • coexistence of partial functions and subsorts (see "Rules of Methodology", subsection 2.4.1), and
  • implicite specification of the domains of partial functions by strong equations (see "Rules of Methodology", subsection 2.4.2)
• There are new specifications Pair, FiniteMap, and Array.
• The announced datatype ExactFixedPointNumber has been added.

In an later version it is planned to organize the basic datatypes in the following libraries: OrderTheory, Numbers, SimpleDatatypes, FiniteSets, StructuredDatatypes, Algebra, PropertiesOfNumbers.

This note provides material that is required in the finalization section of the CASL language summary [CoF98]. It thus can be seen (after discussion in the language design group) as a supplement to the summary (or parts of it may be integrated into the summary).

Full Contents