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