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.

N="left">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 ]