|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Использование редуцированной антиунификации подстановок для проверки логико-термальной эквивалентности программдоклад на конференции
- Автор: Новикова Т.А.
- Международная Конференция : VIII Международная научная конференция «Ломоносов – 2012»
- Даты проведения конференции: 13-14 апреля 2012
- Дата доклада: 13 апреля 2012
- Тип доклада: Устный
- Докладчик: Новикова Т.А.
- Место проведения: г. Астана, Kazakhstan
-
Аннотация доклада:
В проведенном исследовании введено понятие редуцированной антиунификации подстановок, которое позволяет создать полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ, основанный на методе совместных вычислений программ.
- Добавил в систему: Новикова Татьяна Анатольевна