SDF

Stratego -- Strategies for Program Transformation
SDF is the Syntax Definition Formalism developed at CWI and University of Amsterdam. See the SDF Web for more information.