Методы предикатного программирования

Сборник научных работ. Новосибирск, Институт систем информатики им. А.П. Ершова, 2003. — 63 с.Сборник включает работы по предикатному программированию. Представлен обзор концепции предикатного программирования и элементов языка предикатного программирования P. Технология предикатного программирования демонстрируется на примерах конкретных задач. Описывается алгоритм склеивания переменных, используемый в системе трансформации предикатной программы в эффективную императивную программу.
Сборник представляет интерес для научных сотрудников, программистов и студентов, специализирующихся в области информатики.Содержание сборника:
Шелехов В.И. Предикатное программирование: основы, язык, технология.
Шелехов В.И., Карнаухов Н.С. Демонстрация технологии предикатного программирования на задаче сортировки простыми вставками.
Шелехов В.И., Алгазин А.А. Опыт предикатного программирования задачи нахождения кратчайшего пути между двумя городами.
Шелехов В.И. Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу.
Петров Э.Ю. Склеивание переменных в предикатной программе.