COP 5021 unit -*- Outline -*- * introduction motivation for the course * overview questions that can be answered, different kinds of analysis * ast-cfg-jastadd ASTs, CFGs, and building them in JastAdd * dataflow may vs. must analysis, forward and backward, AE, RD, VB, LV, du, ud * calculational-proofs * type-checking basics of type checking notation, and implementation in JastAdd * semantics denotational for expressions, SOS for commands correctness possibly generalizing to monotone frameworks * advanced-dataflow interproceduarl analysis and shape analysis * abstract-interp abstract interpretation, design of analyses * applying-dataflow student or instructor projects * summary-review summary and review of the course