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.

< Previous Terms	Terms Containing supercompilation	Next Terms >
SUNY SUPER Super 7 superclass supercombinators	Recursive Functional Algorithmic Language	supercomputer superhighway SuperJanet SUPERMAC Super Pascal