Semantic Analysis with Attribute Grammars Part 2