Synthesis of parallel recursive programs in structural functional models

Authors:
V. B. Novoseltsev
Affiliations:
Tomsk Polytekhnic University, Tomsk, Russia 634050
Venue:
Programming and Computing Software
Year:
2007

Citing 2
Cited 1

Principles of Database Systems

Principles of Database Systems
Structured programming

Structured programming

Interpretable program specification language

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of synthesis of parallel recursive programs from nonprocedural specifications is considered. To solve this problem, a special calculus is proposed. Constructing a scheme of a recursive procedure is discussed and a strategy and an algorithm of recursive and branching programs are proposed. The correctness of the algorithm is shown, and its efficiency is estimated.