| |
Новосельцев, В.
Синтез параллельных рекурсивных программ в структурных функциональных моделях [Текст] / В. Новосельцев
// Программирование. – 2007. – № 5. – 75-80.
Рассматривается задача синтеза рекурсивных программ по непроцедурным спецификациям. Исследуются вопросы построения схемы рекурсивной процедуры, предлагаются стратегия и алгоритм планирования рекурсивных и ветвящихся программ, показыввается корректность алгоритма и приводится оценка его эффективности |
