Semantic Analysis with Attribute Grammars Part 4