Semantic Analysis Legality checks –Check that program obey all rules of the language that are not described by a context-free grammar Disambiguation –Name resolution, type resolution, overload resolution Expanded intermediate representation –Annotate tree to guide subsequent phases A formal model : at...