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