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

Revision: r1.6 - 09 May 2001 - 21:45 - EelcoVisser
Transform > ASFandSDFMetaEnvironment
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