第九章：探索如何利用抽象找出无法回答的问题的近似答案

[murphywuwu]

• [ ] 9.1 抽象解释
  • [ ] 9.1.1 路线规划
  • [ ] 9.1.2 抽象：乘法的符号
  • [ ] 9.1.3 安全和近似：增加符号
• [ ] 9.2 静态语义
  • [ ] 9.2.1 实现
  • [ ] 9.2.2 好处和限制
• [ ] 9.3 应用