unit -*- Outline -*- * introduction motivation for the course * overview * dataflow * abstract-interp * type-effect * constraints * other * statement-subclasses-nfs * summary-review summary of course, course evaluations