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.