Lecture 30 Slides (Widening and Narrowing)

• Patrick Cousot & Radhia Cousot, “Comparing the Galois connection and widening/narrowing approaches to abstract interpretation”, PLILP'92, Leuven, Belgium, 1992.
  http://www.di.ens.fr/~cousot/COUSOTpapers/PLILP92.shtml