Semantic attributes processing in the system DELTA

In the translator writing system DELTA*, the language to be translated and the translation process (including optimization) are described by means of semantic attributes. While this method provides a rigorous formal description, its practical applications suffer from the large number of attributes involved and from the problems encountered when evaluating them by synthesis and inheritance.