2.3.1. Static & Dynamic Checks Notes | Compiler Design BSC-CSIT | TU | TABFlux