Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation.

Aleksandar S. Dimovski, Sven Apel

Browse the full ECOOP paper archive.