Go backward to
5 Available Tools for Executing CASL Equational Specifications
Go up to
Top
Go forward to
7 Further Developments
6 A Complete Simple Example
6.1 CASL Specification
6.2 From CASL to Casfix
6.3 From Casfix to (Cas)efix
6.4 From (Cas)efix to REF
6.5 Calling the ELAN Interpreter
6.6 Calling the ELAN Compiler
CoFI
Note: T-9 -- Version: -- October 22, 1999.
Comments to
Christophe.Ringeissen@loria.fr
