Abstract interpretation: past, present and future.

Patrick Cousot, Radhia Cousot

Browse the full CSL paper archive.