Go backward to 4 ATerm-instances for CASL and ELAN
Go up to Top
Go forward to 6 A Complete Simple Example

5 Available Tools for Executing CASL Equational Specifications

The preliminary versions (for demo purposes only!) of the following tools are now available.

CoFI Note: T-9 -- Version: -- October 22, 1999.
Comments to Christophe.Ringeissen@loria.fr