Anthony Cleve: Program analysis and transformation for data-intensive system evolution. University of Namur, Belgium 2009