program transformation
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).
Often the aim of such transformation is to produce a more efficient program. It is widely felt that much of the complexity of programming results from the need to produce efficient programs, and that it is therefore desirable to begin with a simple (yet inefficient) program and then transform it to an efficient (but complicated) one. Such transformations may be carried out by hand, by machine, or by both.
Other aims of transformation include expressing certain language constructs in terms of others (transformational semantics). Also, developing algorithms by transformation can serve to verify their correctness, to elucidate their structure, and to provide better understanding of the possible algorithms. See also refinement.
Often the aim of such transformation is to produce a more efficient program. It is widely felt that much of the complexity of programming results from the need to produce efficient programs, and that it is therefore desirable to begin with a simple (yet inefficient) program and then transform it to an efficient (but complicated) one. Such transformations may be carried out by hand, by machine, or by both.
Other aims of transformation include expressing certain language constructs in terms of others (transformational semantics). Also, developing algorithms by transformation can serve to verify their correctness, to elucidate their structure, and to provide better understanding of the possible algorithms. See also refinement.
More From encyclopedia.com
transform , trans·form / transˈfôrm/ • v. [tr.] make a thorough or dramatic change in the form, appearance, or character of: lasers have transformed cardiac surg… Fast Fourier Transform , fast Fourier transform (FFT) An algorithm (e.g. the Cooley—Tukey method) which enables the Fourier transformation of digitized wave-forms to be accom… transform fault , transform fault A type of strike-slip fault in an ocean, occurring at the boundaries of lithospheric plates, in which the direction of movement of th… Colin Munro Macleod , MacLeod, Colin Munro
MACLEOD, COLIN MUNRO
microbiology, medicine.
The son of a Presbyterian minister. MacLeod spent his youth in Canada, where the fa… Fourier Analysis , Fourier transform A mathematical operation that analyzes an arbitrary waveform into its constituent sinusoids (of different frequencies and amplitude… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog…
You Might Also Like
NEARBY TERMS
program transformation