CASL tool set (CATS) v0.88, 25 November 2003

Attention!

CATS v0.88 uses CASL 1.0.1 syntax!
A conversion tool from CASL 1.0 to 1.0.1 will be available soon.
For CASL 1.0 syntax, use CATS 0.6.
For LaTeX output, use CATS 0.56. (Sorry - the LaTeX output currently is completely rewritten.)

This is an experimental prototype implementation!
See the list of known problems.

Installation

You can download a standalone version of the CASL tool set v 0.88
(you do not need to install Standard ML!):

Sparc-solaris (about 3.3 MB)
Linux (about 2.7 MB)

There exists a web interface , where you can directly check your specification.

Old versions

of the CASL tool set can be found here

Local installation

Local installation for users with account in Bremen