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.
Nearby terms:
Programming Language/Cornell « Programming
Language/Systems « Program Temporary Fix «
program transformation » Prograph » PROGRES »
progressive coding
|
