Comparing the Galois connection and widening/narrowing approaches to abstract interpretation (invited paper (1992)

by P Cousot, R Cousot
Venue:In Proceedings of the International Workshop Programming Language Implementation and Logic Programming