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