Лаборатория языковых инструментов
Использование гомеоморфного вложения для обеспечения завершаемости суперкомпиляции
Суперкомпиляция --- это техника, позволяющая на основе изучения поведения программы порождать эквивалентную ей с лучшим поведением. Суперкомпиляция осуществляется в три этапа: символическое вычисление программы с построением дерева процессов, его свертка и генерация остаточной программы. Дерево процессов в общем случае бесконечно, поэтому необходим механизм для сигнализирования, в какой момент прекращать его построение. Гомеоморфное вложение --- порядок на термах, который может быть использован для организации такого сигнала. В докладе будет дано краткое описание суперкомпиляции и рассказано, каким образом гомеоморфное вложение обеспечивает ее завершаемость.
Материалы к докладу:
Morten Heine B. Sorensen, Robert Gluck. Introduction to Supercompilation
Илья Ключников. Суперкомпиляция: идеи и методы
Докладчик: Екатиерина Вербицкая