Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.

Patrick Cousot, Radhia Cousot

Browse the full POPL paper archive.