|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Об одном алгоритме полной унификации программдоклад на конференции
- Автор: Новикова Т.А.
- Международная Конференция : IX Международная научная конференция "Ломоносов-2013"
- Даты проведения конференции: 12-13 апреля 2013
- Дата доклада: 12 апреля 2013
- Тип доклада: Устный
- Докладчик: Новикова Т.А.
- Место проведения: г. Астана, Kazakhstan
-
Аннотация доклада:
Полная унификация программ pi' и pi'' подразумевает построение пары подстановок t1 и t2 таких, что программы t1;pi';t2 и pi'' являются эквивалентными. Проблема функциональной эквивалентности программ не является разрешимой, в связи с этим в данной работе выбрано отношение логико-термальной эквивалентности программ, аппроксимирующей функциональную.
- Добавил в систему: Новикова Татьяна Анатольевна