资料来源 : Free On-Line Dictionary of Computing

program 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}.