Сборник научных работ под редакцией В. И. Шелехова
Новосибирск 2003
Новосибирск 2003
Сборник включает работы по предикатному программированию. Представлен обзор концепции предикатного программирования и элементов языка предикатного программирования P. Технология предикатного программирования демонстрируется на примерах конкретных задач. Описывается алгоритм склеивания переменных, используемый в системе трансформации предикатной программы в эффективную императивную программу.
Сборник представляет интерес для научных сотрудников, программистов и студентов, специализирующихся в области информатики.
Сборник в формате PDF (554.53 КБ)
Статьи сборника
Предикатное программирование: основы, язык, технология
Статья в формате PDF (255.61 КБ)
Демонстрация технологии предикатного программирования на задаче сортировки простыми вставками
Статья в формате PDF (189.01 КБ)
Опыт предикатного программирования задачи нахождения кратчайшего пути между двумя городами
Статья в формате PDF (273.41 КБ)
Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу
Статья в формате PDF (195.08 КБ)
Склеивание переменных в предикатной программе
Статья в формате PDF (291.23 КБ)