ELAN
Program-Transformation.Org: The Program Transformation Wiki
ELAN is an algebraic specification formalism that first introduced RewritingStrategies.
Homepage: http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/
Contact: ELAN <elan@loria.fr>
Influences