Алгоритмы антиунификации и их применение для вычисления инвариантов программ

Оглавление
Введение З
1 Алгоритмы антиунификлции подстановок
1.1 Подстановки и их представление.
1.1.1 Подстановки, решетка подстановок.
1.1.2 Графовые представления подстановок.
1.2 Сложность задачи антиунификацни в классе последовательных алгоритмов
1.2.1 Алгоритм редукции
1.2.2 Алгоритм антиунификацни для подстановок, представленных
ациклическими ориентированными графами.
1.2.3 Нижняя оценка сложности задачи антиунификацни подстановок
1.3 Параллельные алгоритмы .
1.3.1 Алгоритм распознавания точного антиунификатора
1.3.2 Алгоритм построения точного антиунификатора
1.4 Вычисление инвариантов равенства программ с использованием ан
тиунифи канди подстановок.
1.4.1 Модель одномодульной программы.
1.4.2 Инварианты равенства одномодульных программ и методы
их вычисления
ч
ОГЛАВЛЕНИЕ
2 Обобщенные подстановки
2.1 Метаконтексты и метаподсгановки
2.1.1 Понятия контекстам метаконтекста
2.1.2 Решетка метакоптекстов
2.1.3 Мегаподстановки и их основные алгебраические свойства . .
2.1.4 Операция конкретизации метаиодстановок
2.2 Лнтиунифнкаиия для метаподстановок.
2.2.1 Представление мстаконтекстов конечными автоматами
2.2.2 Алгоритм антиуннфикации метаконтекстов
3 Инварианты многомодульных программ
3.1 Многомодульные программы и инварианты равенства
3.1.1 Модель многомодульной программы.
3.1.2 Инварианты равенства программ и их представление метаподстановками
3.1.3 Аппроксимирующие последовательности.
3.2 Вычисление инвариантов равенства программ при помощи мотапод
становок
3.2.1 Построение аппроксимирующей последовательности
3.22 Алгоритм построения инвариантов равенства.
Заключение
Литература