Program transformation (Computer programming)

found: Work cat.: Tamaki, Hisao. A generalized correctness proof of the unfold/fold logic program transformation, 1986.

found: Dictionary of computing, 1997:p. 393 ("program transformation - The study of systematic ways of transforming a program into another program that has some desirable property and is equivalent to the original program (or, if not equivalent, is related to the original)")

found: Free on-line dictionary of computing, via WWW, Sept. 11, 2003("program transformation - The systematic development of efficient programs from high-level specifications by meaning-preserving program manipulations. Also known as optimisation")

found: Dictionary of computer science, engineering, and technology, 2001:p. 388 ("program transformation - a re-engineering process. Transformations are the changes from unstructured code to structured code, updating design documents, or correcting specifications. It is assumed that the transformation improves the subject system according to some measurable criterion")