New Note M-7 on Datatypes REAL and COMPLEX in CASL

[Markus Roggenbach <roba@informatik.uni-bremen.de>]

Dear friends,

God took SEVEN days to create the world ...
... for us, it took a bit longer to create

              THE NOTE M-SEVEN

      "The datatypes REAL and COMPLEX in CASL"

(which unfortunately, for lack of time, it was not possible to discuss
in Amsterdam)

The note M-7 is now installed in the CoFI archives:

    http://www.brics.dk/Projects/CoFI/Notes/M-7/index.html
    ftp://ftp.brics.dk/Projects/CoFI/Notes/M-7/doc.dvi
    ftp://ftp.brics.dk/Projects/CoFI/Notes/M-7/doc.ps.Z

Greetings,
   Markus and Till

--------------------------------------------------
 Abstract of M-7:

  Real (and, to some degree, also complex) numbers should be a part of
  the CASL standard library, since they occur in many applications and
  programming languages.  In this note, we address the specification
  of real and complex numbers at two levels: at the mathematical level
  and at the computer representation level.

  The notes M-6 and L-11 can be seen as complementary notes, since they
  contain basic datatypes resp. describe annotations and syntax
  extensions we frequently use here.
--------------------------------------------------