Исследовательская группа

Лаборатория языковых инструментов

Использование гомеоморфного вложения для обеспечения завершаемости суперкомпиляции

October 9

Суперкомпиляция --- это техника, позволяющая на основе изучения поведения программы порождать эквивалентную ей с лучшим поведением. Суперкомпиляция осуществляется в три этапа: символическое вычисление программы с построением дерева процессов, его свертка и генерация остаточной программы. Дерево процессов в общем случае бесконечно, поэтому необходим механизм для сигнализирования, в какой момент прекращать его построение. Гомеоморфное вложение --- порядок на термах, который может быть использован для организации такого сигнала. В докладе будет дано краткое описание суперкомпиляции и рассказано, каким образом гомеоморфное вложение обеспечивает ее завершаемость.

Материалы к докладу:

Morten Heine B. Sorensen, Robert Gluck. Introduction to Supercompilation

Илья Ключников. Суперкомпиляция: идеи и методы

Докладчик: Екатиерина Вербицкая