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.

In addition suitable contents:
[ AL ] [ al ] [ am ] [ an ] [ as ] [ at ] [ B ] [ b ] [ be ] [ bo ] [ bs ] [ by ] [ ca ] [ ch ] [ co ] [ com ] [ compiler ] [ con ] [ cons ] [ de ] [ E ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ fo ] [ for ] [ function ] [ gr ] [ gu ] [ h ] [ history ] [ hn ] [ il ] [ in ] [ io ] [ iq ] [ is ] [ ld ] [ li ] [ lu ] [ ly ] [ ma ] [ mp ] [ nc ] [ nf ] [ ni ] [ ns ] [ om ] [ pr ] [ program ] [ program transformation ] [ rc ] [ RE ] [ REFAL ] [ ro ] [ ru ] [ se ] [ serve ] [ si ] [ st ] [ state ] [ struct ] [ sy ] [ T ] [ th ] [ to ] [ tr ] [ transformation ] [ tt ] [ ua ] [ urchin ] [ va ] [ ve ]