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