[evacchi]

With respect to Program Transformation, I'd point out Stratego/Spoofax [1] and Kiama [2]

  [1] http://strategoxt.org/Spoofax  
  [2] https://code.google.com/p/kiama/