Cousot and Radhia Cousot, ‘Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints (1977)

by Patrick
Venue:in POPL’77