Literature Cited
I. W. Rymer, “What should real-time testing offer?” AIAA Paper No. 783 (1972).
A. I. Nikitin, “On the functional possibilities of real-time operating systems,” Upravl. Sist Mashiny, No. 5 (1973).
S. Ya. Vilenkii and É. A. Trakhtengerts, Soffware for Control Computers [in Russian], Energiya, Moscow (1972).
V. V. Lipaev, K. K. Kolin, and L. A. Serebrovskii, Software for Control Computers [in Russian], Sov. Radio, Moscow (1972).
S. S. Lavrov, “On memory economy in closed operator schemes,” Zh. Vychisl. Mat. Mat. Fiz.,1, No. 4 (1961).
A. P. Ershov, “Reduction of the problem of storage allocation in program assembly to the problem of coloring the vertices of a graph,” Dokl. Akad. Nauk SSSR,142, No. 4 (1962).
A. P. Ershov (editor), The AL'FA-System of Automatic Programming [in Russian], Nauka, Sibirsk. Otd., Novosibirsk (1967).
V. A. Busan and D. E. Englund, “Optimization of expressions in FORTRAN,” Commun. ACM, No. 12 (1969).
B. V. Arkhangel'skii and A. I. Nikitin, “On the possibility of automatic optimization of programs in a real-time system,” Upravl. Sist. Mashiny, No. 2 (1975).
Additional information
Translated from Kibernetika, No. 4, pp. 134–137, July–August, 1976.
Rights and permissions
About this article
Cite this article
Arkhangel'skii, B.V., Nikitin, A.I. An algorithm for the construction of regions of constant values of variables. Cybern Syst Anal 12, 632–635 (1976). https://doi.org/10.1007/BF01070401
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01070401