Attribute Grammars for type checking in compilers in a declarative way