Transforming abstract interpretations by abstract interpretation (Invited Lecture (2008)

by R Giacobazzi, I Mastroeni
Venue:In Proc. 15th SAS, LNCS 5079