Synthesizing Abstract Transformers for Reduced-Product Domains.

Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy

Browse the full SAS paper archive.