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