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