• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

Владислав Подымов
ВМиК МГУ

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

Слайды: не предоставлялись автором
 
по клику открывается более крупное изображение

 

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