program transformation


program transformation

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