Метакомпиляция

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

См. также

• Метакомпилятор
• Частичная оценка

Внешние ссылки

• Статьи по метакомпиляции
• Метавычисления: метасистемные переходы + суперкомпиляция: введение в суперкомпиляцию