这节课的数据流基础，讲解的是 格（lattice） 的 基础知识，上过离散数学的人应该挺容易理解的。哈哈哈

• 1. Iteratie Algorithm,Another View
• 2. Partial Order
• 3. Upper and Lower Bounds
• 4. Lattice, Semilattice, Complete and Product Lattice
• 5. Data Flow Analysis Framework via Lattice
• 6. Monotonicity and Fixed Point Theorem
• 7. Relate Iterative Algorithm to Fixed Point Theorem
• 8. May/Must Analysis, A Lattice View
• 9. MOP and Distributivity
• 10. Constant Propagation
• 11. Worklist Algorithm

1. Iteratie Algorithm,Another View

这里把数据流分析抽象成了数学问题

2. Partial Order

3. Upper and Lower Bounds

4. Lattice, Semilattice, Complete and Product Lattice

5. Data Flow Analysis Framework via Lattice

6. Monotonicity and Fixed Point Theorem

7. Relate Iterative Algorithm to Fixed Point Theorem

8. May/Must Analysis, A Lattice View

9. MOP and Distributivity

10. Constant Propagation

11. Worklist Algorithm