• 作业独立完成，和其他同学讨论的部分需在提交时说明
  • 平时作业在北大教学网上布置和提交，如提交pdf文件, 文件标题请以“学号-姓名-软分第x次作业”的格式书写
  • 在无特殊说明的情况下，当周作业需在下一周周二上课之前提交至教学网
  • 作业每道题目10分，晚于截止时间的作业，其最终得分将会乘以0.6
  • 2025/09/09
    课程介绍
    [2025/09/16 上课前 截止]
    • 完成课程介绍讲义中的练习并提交pdf文件
  • 2025/09/16
    程序设计语言基础知识
    [2025/09/23 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/09/18
    数据流分析：示例
    [2025/09/23 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/09/23
    数据流分析：框架和扩展 等
    [2025/09/30 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/09/30
    加宽变窄和抽象解释
    [2025/10/14 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/10/14
    多角度理解程序分析
    [2025/10/21 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/10/16
    过程间分析
    [2025/10/21 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/10/21
    过程间分析加速技术
    [2025/10/28 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/10/30
    过程内指针分析
    [2025/11/11 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/11/4
    其他过程内指针分析 过程间指针分析
    [2025/11/18 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/11/11
    静态单赋值和稀疏分析
    [2025/11/18 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件
  • 2025/11/13
    布尔可满足性 等
    [2025/11/18 上课前 截止]
    • 完成幻灯片中的练习并提交pdf文件