You are here: irt.org | FOLDOC | supercompilation
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.
Nearby terms: SuperBrain II « superclass « supercombinators « supercompilation » supercomputer » SuperDrive » superhighway
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL