Skip to main content
Log in

Calculation of invariants of programs interpreted over an integrality domain

  • Published:
Cybernetics Aims and scope

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

Access this article

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

Instant access to the full article PDF.

Literature Cited

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

    Google Scholar 

  2. O. Zariski and P. Samuel, Commutative Algebra, Vol. 2, Springer-Verlag (1975).

  3. A. Aho and J. Hopcroft, The Design and Analysis of Algorithms, Addison-Wesley (1974).

  4. A. Schonhage, “Total and matrix partial multiplication,” SIAM J. Comput.,10, No. 3, 434–455 (1981).

    Google Scholar 

Download references

Authors

Additional information

Translated from Kibernetika, No. 4, pp. 23–28, July–August, 1984.

Rights and permissions

Reprints and permissions

About this article

Cite this article

L'vov, M.S. Calculation of invariants of programs interpreted over an integrality domain. Cybern Syst Anal 20, 492–499 (1984). https://doi.org/10.1007/BF01068921

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation