Abstract Interpretation with Specialized Definitions.

Germn Puebla, Elvira Albert, Manuel V. Hermenegildo

Browse the full SAS paper archive.