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

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

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