H.: Upper adjoints for fast inter-procedural variable equalities (2008)

by M Müller-Olm, Seidl
Venue:In: ESOP’08. LNCS