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 |
