Partial Orders and Least Upper Bounds (also as pptx)

Partial Order

Partial Orders for Approximation

Lattices

Fixpoints

Tarski's Fixpoint Theorem

Galois Connection

• Principles of Program Analysis Book
• Lecture notes on static analysis by Michael Schwartzbach (sections 4,5,6,7 in particular), and pdf file
• Tiger book, chapters 10, 17
• Abstract Interpretation in a Nutshell by Patrick Cousot (also a course at MIT)
• Mapping Fixpoints under Lattice Morphisms