Literature Cited
A. A. Letichevskii, “A method of analysis of programs,” Kibernetika, No. 6, 1–8 (1979).
O. Zariski and P. Samuel, Commutative Algebra, Vol. 2, Springer-Verlag (1975).
A. Aho and J. Hopcroft, The Design and Analysis of Algorithms, Addison-Wesley (1974).
A. Schonhage, “Total and matrix partial multiplication,” SIAM J. Comput.,10, No. 3, 434–455 (1981).
Additional information
Translated from Kibernetika, No. 4, pp. 23–28, July–August, 1984.
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068921