nML = Machine Description Formalism Without A Sensible Acronym.
Describes the semantics of an instruction set and its encoding as an attributed grammar. Has been used in the CBC retargetable code generator project. Together with Andreas Fauth, I am working on extensions to nML and on tools that do things with nML descriptions.
See also my List of Publications.