ELAN

Program-Transformation.Org: The Program Transformation Wiki

ELAN is an algebraic specification formalism that first introduced RewritingStrategies.

Homepage: http://elan.loria.fr

Contact: ELAN <elan@loria.fr>

Influences