Homework Assignments: Statics Week 1.5: Name Resolution Week 1.6: Type Checking Week 1.7: Specifications with NaBL2 Week 1.8: Constraint Resolution Week 2.1: Data-Flow Analysis Week 2.2: Monotone Frameworks