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:
Super 7 « superclass « supercombinators «
supercompilation » supercomputer » superhighway
» SuperJanet
|
