出典:Wikipedia
出典:『Wikipedia』 (2011/05/12 15:43 UTC 版)
A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required to be semantically equivalent to the original, relative to a particular formal semantics and in fewer cases the transformations result in programs that semantically differ from the original in predictable ways.