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

• Определение метакомпиляции

  • Метакомпиляция включает метасистемные переходы от вычислительной машины к метамашине. 
  • Метасистемные переходы анализируют и имитируют работу исходной машины. 

• Примеры метавычислений

  • Частичная оценка и суперкомпиляция являются метавычислениями. 
  • Суперкомпиляция преобразует программы, используя семантику. 

• Иерархии метасистемных переходов

  • Иерархии MST могут быть созданы с повторяющимися метасистемными переходами. 

• История исследований метакомпиляции

  • Исследования начались в России в 1960-х и 1970-х годах с использованием системы REFAL. 
  • Суперкомпиляция стала известна благодаря этим исследованиям. 

• Фокус статьи

  • Статья фокусируется на результатах и проблемах, связанных с суперкомпиляцией и повторяющимися метасистемными переходами. 

• Дополнительные ресурсы

  • Ссылки на метакомпилятор, частичную оценку и другие статьи по метакомпиляции. 
  • Статья является заглушкой и призывает к расширению для улучшения Википедии.