十次左右的书面作业，题不多。
三次实验，前两次用java，需要jdk1.5，做一些简单的数据流分析和优化。第三次用cpp，用llvm ir + smt solver做一些简单的验证。今年第三次实验还新加了gc分析作为另一个可选题目，我感觉没什么意思。
有期中和期末两次考试。考试是开卷的，不过资料基本用不上，考的都很灵活，但是也不算难。
总工作量小于编译原理。
十次左右的书面作业，题不多。
三次实验，前两次用java，需要jdk1.5，做一些简单的数据流分析和优化。第三次用cpp，用llvm ir + smt solver做一些简单的验证。今年第三次实验还新加了gc分析作为另一个可选题目，我感觉没什么意思。
有期中和期末两次考试。考试是开卷的，不过资料基本用不上，考的都很灵活，但是也不算难。
总工作量小于编译原理。