supercompilationcomputing dictionary

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.

(03 Feb 2009)

supercoiled plasmid, supercoiling, supercombinators < Prev | Next > supercomputer, superconception

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums