Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi