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.