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
CategorySystem