05.02 Semantic analysis: Attribute grammars