Metacompilation
Metacompilation is a computation which involves metasystem transitions (MST) from a computing machine M to a metamachine M' which controls, analyzes and imitates the work of M. Semantics-based program transformation, such as partial evaluation and supercompilation (SCP), is metacomputation. Metasystem transitions may be repeated, as when a program transformer gets transformed itself. In this manner MST hierarchies of any height can be formed. The Fox paper reviews one strain of research which was started in Russia by Valentin Turchin's REFAL system in the late 1960s-early 1970s and became known for the development of supercompilation as a distinct method of program transformation. After a brief description of the history of this research line, the paper concentrates on those results and p
Wikipage redirect
primaryTopic
Metacompilation
Metacompilation is a computation which involves metasystem transitions (MST) from a computing machine M to a metamachine M' which controls, analyzes and imitates the work of M. Semantics-based program transformation, such as partial evaluation and supercompilation (SCP), is metacomputation. Metasystem transitions may be repeated, as when a program transformer gets transformed itself. In this manner MST hierarchies of any height can be formed. The Fox paper reviews one strain of research which was started in Russia by Valentin Turchin's REFAL system in the late 1960s-early 1970s and became known for the development of supercompilation as a distinct method of program transformation. After a brief description of the history of this research line, the paper concentrates on those results and p
has abstract
Metacompilation is a computati ...... peated metasystem transitions.
@en
Суперкомпиляция, или метакомпи ...... дом. 18:23, 8 марта 2016 (UTC)
@ru
Wikipage page ID
Wikipage revision ID
732,276,259
subject
hypernym
comment
Metacompilation is a computati ...... ntrates on those results and p
@en
Суперкомпиляция, или метакомпи ...... в профессиональном сообществе.
@ru
label
Metacompilation
@en
Суперкомпиляция
@ru