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.

• Concepts from Order Theory

• Finite Sets

• Concepts from Algebra

• Boolean

• Numbers

• List and Bag

• Character and String (relies on syntax extension - not parsable yet)

• Basic Reals

• Compact Reals

• Basic Complex