"Converting One Type-Based Abstract Domain to Another."

John P. Gallagher, Germán Puebla, Elvira Albert (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics