The purpose of this paper is to present an algebraic treatment of Knuth's approach to the specification of the semantics of context-free languages. Knuthian systems, hereinafter called K-systems, have been called declarative semantics, K-grammars and attributed grammars.
Source: wiktionary