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.