Метакомпиляция
-
Определение метакомпиляции
- Метакомпиляция включает метасистемные переходы от вычислительной машины к метамашине.
- Метасистемные переходы анализируют и имитируют работу исходной машины.
-
Примеры метавычислений
- Частичная оценка и суперкомпиляция являются метавычислениями.
- Суперкомпиляция преобразует программы, используя семантику.
-
Иерархии метасистемных переходов
- Иерархии MST могут быть созданы с повторяющимися метасистемными переходами.
-
История исследований метакомпиляции
- Исследования начались в России в 1960-х и 1970-х годах с использованием системы REFAL.
- Суперкомпиляция стала известна благодаря этим исследованиям.
-
Фокус статьи
- Статья фокусируется на результатах и проблемах, связанных с суперкомпиляцией и повторяющимися метасистемными переходами.
-
Дополнительные ресурсы
- Ссылки на метакомпилятор, частичную оценку и другие статьи по метакомпиляции.
- Статья является заглушкой и призывает к расширению для улучшения Википедии.