Сборники трудов ИСП РАН


Унификация программ.

Т.А. Новикова, В.А.Захаров.

Аннотация

В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная эквивалентности, одно из наиболее слабых разрешимых отношений эквивалентности программ, аппроксимирующих отношение функциональной эквивалентности.

Ключевые слова

программа, логико-термальная эквивалентность программ, подстановка, унификация, сложность

Издание

Труды Института системного программирования РАН, том 23, 2012, стр. 455-476.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2012-23-28

Полный текст статьи в формате pdf Вернуться к содержанию тома