Literature Cited
V. M. Glushkov, T. A. Grinchenko, A. A. Dorodnitsyna, V. P. Klimenko, A. A. Letichevskii, S. B. Pogrebinskii, A. A. Stognii, and Yu. S. Fishman, “ANALITIK: Algorithmic language for describing computing processes using analytic transformations,” Kibernetika, No. 3 (1971).
R. W. Floyd, “Assigning meanings to programs,” Proc. Symp. Appl. Math.,19, AMS, Providence (1967).
C. A. R. Hoare, “An axiomatic basis for computer programming,” Commun. ACM,12, No. 10 (1969).
R. L. London, “Computer programs can be proved correct,” Lecture Notes in Operations Research and Mathematical Systems,28 (1970).
D. C. Cooper, “Program schemes, programs, and logic,” Lecture Notes in Mathematics,188 (1971).
Additional information
Translated from Kibernetika, No. 6, pp. 31–39, November–December, 1974.
Rights and permissions
About this article
Cite this article
Letichevskii, A.A., Kostyrko, V.S. Use of the MIR-2 computer for program analysis. Cybern Syst Anal 10, 955–962 (1974). https://doi.org/10.1007/BF01069436
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069436