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.
Similar content being viewed by others
References
Mints, G.E., Resolutive Calculi for Non-Classical Logics, Trudy 9-go Sovetskogo Kiberneticheskogo SimposiumaSymp. (Proc. 9th Soviet Symp. in Cybernetics), 1981, vol. 2, no. 4, pp. 34–36.
Novoseltsev, V.B., and Malakhov, A.V., A Note on the Synthesis of Parallel Algorithms, Vestn. Tomsk Univ. (Mat., Kibernetika, Informatika) (Tomsk), 2004, no. 284, pp. 35–39.
Alty, J.L., Expert Systems, Washington: NCC, 1987.
Pospelov, D.A., Logiko-lingvisticheskie modeli v sistemakh upravleniya (Logical-Linguistic Models in Control Systems), Moscow: Energoizdat, 1981.
Kakhro, M.I., Kal’ya, A.P., and Tyugu, E.Kh., Instrumental’naya sistema programmirovaniya ES EVM (PRIZ) (Instrumental Software Development System PRIZ, Moscow: Finansy i Statistika, 1981.
Novoseltsev, V.B., Synthesis of Recursive Programs in the SPORA System, Preprint of Inst. of Theoretical Astronomy, Acad. Sci. of the USSR, 1985, no. 43.
Mints, G.E. and Tyugu, E.Kh., Completeness of Structural Synthesis Rules, Dokl. Akd. Nauk SSSR, 1982, vol. 2, no. 6, pp. 41–60.
Dahl, O.-J., Dijkstra, E.W., and Hoare, A.R., Structured Programming, London: Academic, 1972. Translated under the title Strukturnoe Programmirovanie, Moscow: Mir, 1975.
Ullman, J., Principles of Database Systems, Computer Science, 1980. Translated under the title Osnovy sistem baz dannykh, Moscow: Finansy i Statistika, 1983.
Dikovsky, A.Ya., Deterministic Computational Models, Izv. Ross. Akad. Nauk, Tekh. Kibern., 1984, vol. 5, no. 5, pp. 84–105.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V.B. Novoseltsev, 2007, published in Programmirovanie, 2007, Vol. 33, No. 5.
Rights and permissions
About this article
Cite this article
Novoseltsev, V.B. Synthesis of parallel recursive programs in structural functional models. Program Comput Soft 33, 293–298 (2007). https://doi.org/10.1134/S0361768807050052
Received:
Issue Date:
DOI: https://doi.org/10.1134/S0361768807050052