nML: Synopsis

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.

nML: Documents

A technical report "The nML Machine Description Formalism" was published as TR 91-15. That early version contained some small bugs and omissions; an updated version is on-line (compressed DVI (36k).

See also my List of Publications.

This page was last changed on Nov 7 1994, 21:41 by mfx@pobox.com.