Quiz 1 Topics
- Decidability
- The halting problem / Rice's Theorem
- Type I and Type II Errors
- Soundness and Completeness
- Meaning of Static and Dynamic Analysis
- Instruction Flowcharts
- Control Flow Graphs
- Basic Blocks
- Dataflow Analysis
- Lattices and Partial Orders
- Abstract Interpretation