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