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