COP 5021 Lecture -*- Outline -*- meeting 1 * intraprocedural * monotone-frameworks