adds semantical information to the parse tree and performs certain checks
* Static code analysis - the analysis of computer software that is performed without actually executing programs built from that
* Structured systems analysis and design methodology - à la Yourdon
* Syntax analysis - a process in compilers that recognizes