Attribute Grammars and their Applications