Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.

Patrick Cousot, Radhia Cousot

Browse the full SAS paper archive.