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

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

Смотрите также

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