Skip to main content
SpringerLink
Log in

Search for invariant linear relationships in programs

  • Published:
Cybernetics Aims and scope

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literature Cited

  1. A. A. Letichevskii, “Equivalence and optimization of programs,” in: Proceedings of International Symposium on Theoretic Programming [in Russian], Nauka, Novosibirsk (1972), pp. 166–180.

    Google Scholar 

  2. A. A. Letichevskii, “A method of program analysis,” Kibernetika, No. 6, 1–8 (1979).

    Google Scholar 

  3. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).

    Google Scholar 

  4. S. N. Chernikov, Linear Inequalities [in Russian], Nauka, Moscow (1968).

    Google Scholar 

  5. S. G. Raksha and S. L. Krivoi, “Problem of relationships in a data algebra,” in: Mathematical Software of Computerized Systems of Logical Inference and Deductive Constructions [in Russian], Inst. Kibern. Akad. Nauk UkrSSR, Kiev (1983), pp. 76–84.

    Google Scholar 

  6. A. Aho, J. Hopcroft, and J. Ullman, Design and Analysis of Computer Algorithms [Russian translation], Mir, Moscow (1979).

    Google Scholar 

  7. S. L. Krivoi, “An algorithm of search for invariant relationships in programs,” Kibernetika, No. 5, 12–18 (1981).

    Google Scholar 

  8. P. Cousot and L. Halbwachs, “Automatic discovery of linear restraints among variables of a program,” in: Proc. Fifth Ann. ACM Symp. on Principles of Progr. Lang., ACM, New York (1978), pp. 84–96.

  9. J. B. Kam and J. D. Ullman, “Monotone data flow analysis frameworks,” Acta Informatica,7, No. 3, 305–318 (1978).

    Google Scholar 

  10. V. A. Emelichev, M. M. Kovalev, and M. K. Kravtsov, Polyhedra, Graphs, Optimization [in Russian], Nauka, Moscow (1981).

    Google Scholar 

Download references

Authors
  1. S. L. Krivoi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. G. Raksha
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 6, pp. 23–28, November–December, 1984.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Krivoi, S.L., Raksha, S.G. Search for invariant linear relationships in programs. Cybern Syst Anal 20, 796–803 (1984). https://doi.org/10.1007/BF01072165

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01072165

Keywords

Search

Navigation