[Uni [FB [TZI] [BISS] [AG
This page is still under construction!

Basic Datatypes in CASL

This page contains the ASCII-Version of the CASL specifications described in the CoFI Note.

They have been fully parsed by the Bremen Parser.


M.Roggenbach and T.Mossakowski:
Basic Datatypes in CASL
CoFi Note M-6, March 1999.


M.Roggenbach and T.Mossakowski:
The Data Types REAL and COMPLEX in CASL
CoFi Note M-7, March 1999.

Markus Roggenbach last update March 5, 1999.