Synthesized Attributes In Compiler Design