The ELAN system [BKK+98] provides an environment for specifying and prototyping rule-based programs in a language based on rewrite rules controlled by strategies. It offers a natural and simple logical framework for the combination of the computation and deduction paradigms, as it is backed up by the concepts of rewriting calculus and rewriting logic. Thanks to some new tools described in this paper, ELAN supports the execution of CASL equational specifications.
The current distribution of ELAN available on the web includes:
ELAN is developed in the Protheo project of LORIA the joint laboratory of CNRS, INRIA and the Universities of Nancy.
Our goal was to reuse the ELAN interpreter and compiler to execute a subclass of CASL programs. The approach we followed is based on a translation between the underlying abstract syntaxes of CASL and ELAN, both expressed as different instances of ATerms.