ASF+SDF

The ASF+SDF project is now ASF+SDF Meta-Environment or simply the Meta-Environment.

A generator of interactive programming environments, and a kind of algebraic logic rewrite programming language itself (in particular ASF is a term rewriting language), for large scale metaprogramming.

The new Meta-Environment home page.
Language Prototyping: An Algebraic Specification Approach.

This page is linked from: Parsing Syntax in Maude