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