4.5. Semantic analysis, including static and dynamic checks Verbal Notes | Complier Design BCT | TU | TABFlux