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