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.
| < Previous Terms | Terms Containing program transformation | Next Terms > |
| programming fluid programming language Programming Language/Cornell Programming Language/Systems Program Temporary Fix | CIP-L Eureka step formal methods fusion Kid | Prograph PROGRES progressive coding Progressive JPEG progressive/sequential coding |



