Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

An algorithm for the construction of regions of constant values of variables

This is a preview of subscription content, log in to check access.

Literature Cited

  1. 1.

    I. W. Rymer, “What should real-time testing offer?” AIAA Paper No. 783 (1972).

  2. 2.

    A. I. Nikitin, “On the functional possibilities of real-time operating systems,” Upravl. Sist Mashiny, No. 5 (1973).

  3. 3.

    S. Ya. Vilenkii and É. A. Trakhtengerts, Soffware for Control Computers [in Russian], Energiya, Moscow (1972).

  4. 4.

    V. V. Lipaev, K. K. Kolin, and L. A. Serebrovskii, Software for Control Computers [in Russian], Sov. Radio, Moscow (1972).

  5. 5.

    S. S. Lavrov, “On memory economy in closed operator schemes,” Zh. Vychisl. Mat. Mat. Fiz.,1, No. 4 (1961).

  6. 6.

    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).

  7. 7.

    A. P. Ershov (editor), The AL'FA-System of Automatic Programming [in Russian], Nauka, Sibirsk. Otd., Novosibirsk (1967).

  8. 8.

    V. A. Busan and D. E. Englund, “Optimization of expressions in FORTRAN,” Commun. ACM, No. 12 (1969).

  9. 9.

    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).

Download references

Additional information

Translated from Kibernetika, No. 4, pp. 134–137, July–August, 1976.

Rights and permissions

Reprints 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).

Download citation


  • Operating System
  • Artificial Intelligence
  • System Theory