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.