A specification language for instruction sets, based on attribute grammars, for back-end generators.

["The nML Machine Description Formalism", M. Freericks <[email protected]> TR TU Berlin, FB20, Bericht 1991/15].