6.4: Verification and Validation of Semantic Analysis
Complete exercises 6.1 and 6.2 on pages 143 and 144.
These exercises will give you some practice with semantic analysis and are based on Chapter 6, which covers type checking. Then check your answers against the Answer Key.