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.

See

http://www.cwi.nl/projects/MetaEnv

CategorySystem