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