Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
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.
Related search result for "supercompilation"
Comments and discussion on the word "supercompilation"