Supercompilation

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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.