Abstract interpretation: A uni ed lattice model for static analysis of programs by construction of approximation of xpoints (1977)

by P Cousot, R Cousot
Venue:Proceedings 4th ACM POPL Symposium