supercompilation
A function program transformation technique invented by
Turchin. A program is evaluated symbolically in order to
observe the possible history of computation states called
configurations. Based on this Turchin's REFAL compiler would
try to construct a better program.