Source : Free On-Line Dictionary of Computing

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.