В докладе были представлены результаты, полученные в рамках исследования проблемы эквивалентности в моделях последовательных и рекурсивных программ с семантикой, определяемой на основе полугрупп. Эквивалентность программ в таких моделях обычно является достаточным условием функциональной эквивалентности реальных программ. Основные результаты исследования --- описание алгоритмов проверки эквивалентности, полиномиальных по времени относительно размеров программ, и как следствие, доказательство полиномиальной разрешимости проблемы эквивалентности программ в некоторых таких моделях.
Слайды: не предоставлялись автором
по клику открывается более крупное изображение
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
