| 释义 |
supercompilation supercompilationA function program transformation technique invented byTurchin. A program is evaluated symbolically in order toobserve the possible history of computation states calledconfigurations. Based on this Turchin's REFAL compiler wouldtry to construct a better program. |