Метакомпиляция — это вычисление , которое включает метасистемные переходы (MST) от вычислительной машины M к метамашине M' , которая контролирует, анализирует и имитирует работу M. Преобразование программ на основе семантики , такое как частичная оценка и суперкомпиляция (SCP) , является метавычислением. Метасистемные переходы могут повторяться, как когда преобразуется сам программный преобразователь. Таким образом, могут быть сформированы иерархии MST любой высоты. Статья Fox [ необходимо разъяснение ] рассматривает одно направление исследований, которое было начато в России системой REFAL Валентина Турчина в конце 1960-х — начале 1970-х годов и стало известно благодаря разработке суперкомпиляции как отдельного метода преобразования программ . После краткого описания истории этого направления исследований статья концентрируется на тех результатах и проблемах, где суперкомпиляция сочетается с повторяющимися метасистемными переходами.