BASIC DATATYPES IN CASL
                       =======================

Markus Roggenbach, Till Mossakowski
email: cofi@informatik.uni-bremen.de

The ASCII-file BasicDatatypes.casl contains revised versions of the specifications from the proposal for a standard library of basic
datatypes in CASL:

   Markus Roggenbach and Till Mossakowski.
   Basic Datatypes in CASL. 
   Note M-6, 
   in The Common Framework Initiative for algebraic specification and
   development, electronic archives, http://www.brics.dk/Projects/CoFI/
   July 1999.

These ASCII-files have been successfully parsed with the CASL Bremen
Parser, also available on this CD ROM in the part of Bremen Tools.
They are the first large example of CASL specifications and thus
exhibit an important test case for parsing technology.

The note "Basic Datatypes in CASL" is also available on this CD ROM.
This note includes a style guide how to write CASL specifications.
Further it presents a library of basic datatypes covering datatypes like 
numbers, characters, strings and lists, together with specifications 
expressing their algebraic properties, like groups, rings and fields.
It also illustrates how to write and structure specifications in CASL.
All important features of CASL basic and structured specifications are 
used. The specifications in the library are carefully structured in such
a way that interesting relations that should hold between the specifications
can be expressed via semantic annotations.


             EXAMPLES FROM OTHER SPECIFICATION FORMALISMS
             ============================================
             
Since CASL combines both partiality and subsorting, we include
two examples which are translated from other formalisms into CASL.

Reichel.casl contains some specifications from \cite{Reichel87}
             demonstrating the use of partial functions
Goguen.casl  contains a specification from \cite{GoguenDiaconescu94},
             demonstrating the use of multiple representations
             using subsorting 

@Book{Reichel87,
  author =    "Horst Reichel",
  title =     "Initial Computability, Algebraic Specifications
               and Partial Algebras",
  publisher = "Oxford Science Publications",
  year =      1987
}

@Article{GoguenDiaconescu94,
  author =    "Joseph Goguen and R{\u{a}}zvan Diaconescu",
  title =     "An {Oxford} survey of order sorted algebra",
  pages =     "363--392",
  journal =   "Mathematical Structures in Computer Science",
  month =     sep,
  year =      "1994",
  volume =    "4",
  number =    "3",
}

      Name                    Last modified      Size  Description
      BasicDatatypes.casl     1999-09-25 13:03   40K  
      Goguen.casl             1999-07-15 07:46  2.7K  
      Reichel.casl            1999-07-15 07:46  2.4K