Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau Ecole des Mines de Nantes, France with René Rydhof Hansen and Julia.