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

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

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

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

Сборник в формате PDF


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



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).