Email this page to a friend

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