Tags: Programming Language.
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.