Converting One Type-Based Abstract Domain to Another.

John P. Gallagher, Germn Puebla, Elvira Albert

Browse the full LOPSTR paper archive.