Methods and algorithms of automatic synthesis of a parallel program under the selected non-procedural specifications are examined. Approaches to synthesis of parallel programs with application of the multilevel structure of the algorithm graph are investigated. Computing complexity of the offered algorithms is cited. Questions of practical implementation of the developed approaches are examined.

Рассматриваются методы и алгоритмы автоматического синтеза параллельной программы по заданным непроцедурным спецификациям. Исследуются подходы к синтезу параллельных программ с использованием ярусно-параллельной формы графа алгоритма. Приводится вычислительная сложность предлагаемых алгоритмов. Рассматриваются вопросы практической реализации разработанных подходов.