Публикации

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

Сборник научных работ под редакцией В. И. Шелехова
Новосибирск 2003

Сборник включает работы по предикатному программированию. Представлен обзор концепции предикатного программирования и элементов языка предикатного программирования P. Технология предикатного программирования демонстрируется на примерах конкретных задач. Описывается алгоритм склеивания переменных, используемый в системе трансформации предикатной программы в эффективную императивную программу.

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




Статьи сборника

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