Systematic Design of Program Analysis Frameworks.

Patrick Cousot, Radhia Cousot

Browse the full POPL paper archive.