superordination

n : the semantic relation of being superordinate or belonging to

a higher rank or class [syn: {hypernymy}]

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.