5 Available Tools for Executing CASL Equational Specifications

The translation from FCasEnv to REF is achieved using two tools implemented in C with the ATerm library developed by the ASF+SDF group in Amsterdam:

• fenv2efix transforms a FCasEnv ATerm into the corresponding Efix ATerm.
• efix2ref transforms an Efix ATerm into a REF program, which can be executed in ELAN.

The basic tools fenv2efix and efix2ref have been integrated into a script called fenv2elan. Given a FCasEnv file, this script calls either

1. the ELAN interpreter:
   fenv2elan fileName [-sort= query sort ] -interp interpreter options
2. or the ELAN compiler:
   fenv2elan fileName [-sort= query sort ] -compil compiler options