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

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

Сходимость преобразователей программ в метрическом пространстве деревьев

September 16

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


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

Материалы