Cousot and Radhia Cousot. Abstract interpretation and application to logic programs (1992)

by Patrick
Venue:Journal of Logic Programing