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

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

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

внешняя ссылка