Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (1977)

by Patrick
Venue:In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages