A Compiler Generator for Attributive Evaluation During LR Parsing

A compiler generator called Metauncle is introduced. Metauncle produces one-pass compilers in which all attributes are evaluated in conjunction with LR parsing. The description of a language is given to Metauncle as an L-attributed grammar, and the system transforms it before generation of an evaluator to another attribute grammar satisfying the requirements for evaluation. The transformed grammar belongs to the class of so-called uncle-attributed grammars. Besides general information about the system, the definition of uncle-attributed grammars, the idea of the grammar transformation and the default rules of the specification language are presented.