13.09.2011 на очередном заседании семинара «Современные проблемы математики и информатики» с докладом на тему «Использование алгоритмов антиунификации для проверки логико-термальной эквивалентности программ» выступила преподаватель кафедры математики и информатики Т.А.Новикова.

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