Шелехов В.И.

Верификация и синтез эффективных программ стандартных функций в технологии пред… Доказательное построение, верификация и синтез предикатных программ Классификация программ, ориентированная на технологию программирования Об алгоритмах сортировки в методе частиц в ячейках Оптимизирующие трансформации списков и деревьев в системе предикатного программ… Разработка и верификация алгоритмов пирамидальной сортировки в технологии преди… Разработка программы построения дерева суффиксов в технологии предикатного прог… Реализация оптимизирующих трансформаций в системе предикатного программирования Реализация склеивания переменных в предикатной программе Семантика языка предикатного программирования Синтез операторов предикатной программы Списки и строки в предикатном программировании ещё 1