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.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

CIP Language
Eureka step
formal methods
fusion
Kid
lambda lifting
lazy evaluation
let floating
loop combination
NPL
optimising compiler
structural recursion
supercompilation
synthesis
Tiny
TrafoLa
Trafola-H
Transformation
tupling

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.