"Region analysis and transformation for Java programs."

Sigmund Cherem, Radu Rugina (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics