ELAN is an algebraic specification formalism that first introduced RewritingStrategies.

Homepage: http://elan.loria.fr

Contact: ELAN <elan@loria.fr>


  • AlgebraicSpecification?
  • OBJ
  • RewritingLogic?

Revision: r1.2 - 20 Apr 2004 - 07:18 - PierreEtienneMoreau
Transform > ELAN
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback