Home

What is supercompilation?

A supercompiler is a program transformer that 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. The simplification is achieved by removing certain "redundant" actions from the source program.

A positive supercompiler is a supercompiler that doesn't propagate "negative information", when tracing the possible generalized histories of computation.