Семинар лаборатории ПОИС: Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой // В. Подымов

Владислав Подымов ВМиК МГУ
Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
19 января, 2014 - 18:10 - ауд. 402		Добавить в календарь
В докладе были представлены результаты, полученные в рамках исследования проблемы эквивалентности в моделях последовательных и рекурсивных программ с семантикой, определяемой на основе полугрупп. Эквивалентность программ в таких моделях обычно является достаточным условием функциональной эквивалентности реальных программ. Основные результаты исследования --- описание алгоритмов проверки эквивалентности, полиномиальных по времени относительно размеров программ, и как следствие, доказательство полиномиальной разрешимости проблемы эквивалентности программ в некоторых таких моделях. Слайды: не предоставлялись автором

по клику открывается более крупное изображение

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

Семинар лаборатории ПОИС: Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой // В. Подымов