Abstract interpretation: a unied lattice model for static analysis of programs by construction or approximation of xpoints (1977)

by P Cousot, R Cousot
Venue:In Conference Record of the Fourth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages