Go backward to 1 Introduction
Go up to Top
Go forward to Acknowledgements

2 Specifications

The following specifications have been successfully parsed and statically checked² with the Bremen HOL-CASL parser and checker, version 0.3.

http://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html

which means: they have been translated from the LaTeX format (see "Formatting CASL Specifications Using LaTeX" [Mos98]) by the program hyperlatex into ASCII-files, then been edited by hand³, and finally been parsed. This parsed ASCII-text of the specifications is available in ASCII-format at

http://www.informatik.uni-bremen.de/~cofi/CASL/lib/basic/

2.1 A Short Overview on the Specified Datatypes

2.2 Library Orders

2.3 Library Algebra_I

2.4 Library Numbers

2.5 Library SimpleDatatypes

2.6 Library StructuredDatatypes

2.7 Library Algebra_II

2.8 Library MachineNumbers

2.9 Library ExactFixedPointNumbers:

CoFI Note: L-12 -- Version: 0.3 -- November 1999.
Comments to cofi@informatik.uni-bremen.de