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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: SuperBrain II « superclass « supercombinators « supercompilation » supercomputer » SuperDrive » superhighway


Copyright Denis Howe 1985 General Business Directory.