supercompilationA 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.
superclass ♦ supercombinators ♦ supercompilation ♦ supercomputer ♦ SuperDrive
Try this search on Wikipedia, Wiktionary, Google, OneLook.