COP 5021 Lecture -*- Outline -*- meeting 1 * nature * scene * data-flow * constraint-based * control-flow-analysis * abstract-interpretation * types