Com S 641 Lecture -*- Outline -*- meeting 1 * Motivation for abstract interpretation (transition from shape analysis) Shape analysis details seem unilluminating to present in a lecture, so... Let's look at abstract interpretation Look at page 274, mini-project 4.2 Q: What's a representation function? Q: What's a Galois connection? Q: What's a Galois insertion? So back to section 4.1...