New Note M-6 on Basic Datatypes in CASL

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

Dear all,

we are happy to inform you that our study note M-6 on

        Basic Datatypes in CASL

has been installed in the CoFI archives:

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

Abstract:

 The CoFI-workshop in Cachan, November 1998, stated: ``There should
 be (a) standard predefined library/ies for numbers, characters,
 strings (possibly more). For pragmatic usability of  \CASL, there also
 needs to be a special syntax for literals, similar to programming
 languages.''\cite{kolyang98} This note is a proposal for such a
 standard library.

We hope for an interesting discussion in the methodology group in
Amsterdam!

Greetings
   Markus and Till