ASFand SDFMeta Environment

Program-Transformation.Org: The Program Transformation Wiki
A tool suite to support the development of specifications written in the ASFandSDF formalism.

It includes

  • parser and parser generator
  • a structure editor
  • an interpreter for TermRewriting systems,
  • a compiler to translate TermRewriting systems to the CLanguage
  • and an interactive programming environment called the ASF + SDF Meta-Environment.

The Meta-Environment supports editing specification modules and instantenous testing of the programming environment generated from an ASF+SDF specification.