The Free On-line Dictionary of Computing (30 December 2018):

program transformation
transformation

   The systematic development of efficient programs from
   high-level specifications by meaning-preserving program
   manipulations.  Also known as optimisation.  See fusion,
   loop combination, peephole optimisation, register
   allocation, tupling, unfold/fold.