Abstract interpretation and application to logic programs. (1992)

by Patrick Cousot, Radhia Cousot
Venue:The Journal of Logic Programming,