Supercompilation and Related Techniques

Supercompilation is a program transformation technique. A supercompiler traces the possible generalized histories of computation by the source program, and builds an equivalent target program, whose structure is, in a sense, "simpler" than the structure of the source program.

English (United States)