Basic Datatypes in CASL
This page contains the ASCII-Version of the CASL specifications described
in the
CoFI Note L-12.
They have been fully parsed and checked by the Bremen
Parser and Checker.
M.RoggenbachT.Mossakowski,
and L.Schröder:
Basic Datatypes in CASL
CoFi
Note L-12
-
Basic Datatypes, version 0.7, March 2001.
-
Basic Datatypes, version 0.5, December 2000.
-
Basic Datatypes, version 0.4.1, Mai 2000.
-
Basic Datatypes, version 0.3, November 1999.
-
Basic Datatypes, version 0.2, July 1999.
-
Basic Datatypes, version 0.1, March 1999.
Markus
Roggenbach last update May 10, 2000.