References
V. R. Khachaturov, Mathematical Methods of Regional Programming [in Russian], Nauka, Moscow (1989).
A. N. Solomatin, Automatic Synthesis of Computation Programs through Analysis of Variable Semantics [in Russian], thesis, VTs AN SSSR, Moscow (1990).
N. G. Glavatskaya, O. V. Petukhova, and E. G. Yasin, “A basic information language and system for formalized description of economic data,” in: Applied Informatics [inRussian], Finansy i Statistika, Moscow (1983), pp. 35–48.
E. Kh. Tyugu, “Problem solving on computation models”, Zh. Vychisl. Matem. Mat. Fiziki,10, No. 5, 716–734 (1970).
V. N. Red'ko, “Semantic program structures,” Programmirovanie, No. 1, 3–19 (1981).
A. L. Davis and R. M. Keller, “Data-flow program graphs,” Computer,15, No. 2, 26–41 (1982).
N. J. Nilson, Principles of Artificial Intelligence, Tioga Pub. Co., Palo Alto, Ca. (1980).
Semantics of Programming Languages [Russian translation], Mir, Moscow (1980).
A. N. Solomatin, “A system for automatic synthesis of computation programs,” in: Topics in Software for Planning and Design of Territorial Management Projects [in Russian] VTs AN SSSR, Moscow (1987), pp. 35–58.
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 133–142, September–October, 1994.
Rights and permissions
About this article
Cite this article
Solomatin, A.N. Automatic synthesis of computation programs through analysis of variable semantics. Cybern Syst Anal 30, 747–754 (1994). https://doi.org/10.1007/BF02367757
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02367757