Prev Up Next
Go backward to 1 Introduction
Go up to Top
Go forward to 3 Annotations

2 Basic Datatypes

Note M-6 [RM99a] provides a library of standard specifications in CASL, covering datatypes like numbers, characters, strings and lists, together with specifications expressing their algebraic properties, like groups, rings and fields. The specification have speaking names. Thus we list just their names in section 2.1 and use them later without any comment. The meaning of the prefixes "Generate" resp. "Define" in specification names is shortly described in section 2.2. Finally, in section 2.3 we recall the representations of numbers introduced in Note M-6.

  • 2.1 The Specifications of Note M-6
  • 2.2 Naming Conventions for Specifications in Note M-6
  • 2.3 Representations of Numbers in Note M-6

  • CoFI Note: M-7 -- Version: 0.2 -- 13 April 1999.
    Comments to

    Prev Up Next