Abstract language design

AbstractThe use of formal designs of languages as language definitions is described. From such definitions more typical language definitions can be derived. Also, unlike typical language definitions, formal designs can easily be manipulated into designs for other languages for the same underlying domain. Unlike the traditional definition of a language given as a syntax and semantics, a definition by abstract design in invertible, meaning that one can use it to map evaluated meanings to terms in the language, as well as for the more usual task of mapping terms in the language to evaluated meanings