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