Version History

This note is a proposal for a CASL library of standard basic datatypes. It revises the note M-6 "Basic Datatypes in CASL" [RM99a],

Version 0.1,

installed in the CoFI archives at 3 March 1999, and

Version 0.2,

installed in the CoFI archives at 20 July 1999,

The main changes are:

• The previous note M-6, version 0.2, is now split into two parts: This note L-12 includes the library of Basic Datatypes proper, the forthcoming version 0.3 of note M-6 will include the methodological aspects.
• The Basic Datatypes are now organized in CASL libraries
  • Basic/Orders,
  • Basic/Algebra_I,
  • Basic/Numbers,
  • Basic/SimpleDatatypes,
  • Basic/StructuredDatatypes,
  • Basic/Algebra_II,
  • Basic/MachineNumbers, and
  • Basic/ExactFixedPointNumbers,
  which all have the version number 0.3.
• The Basic Datatypes are correct with respect to the static semantic analysis of the Bremen CASL tool.

This library of Basic Datatypes is still under construction. To make its future shape in some sense predictable, appendix B includes a list of "approved" changes.

Full Contents

---

CoFI Note: L-12 -- Version: 0.3 -- November 1999.
Comments to cofi@informatik.uni-bremen.de