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.