Systematic design of program transformation frameworks by abstract interpretation.

Patrick Cousot, Radhia Cousot

Browse the full POPL paper archive.