JetBrains Research — наука, меняющая мир

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

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


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

16.09.2019, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28