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 CProgrammingLanguage
• 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