This is a preview of subscription content, log in via an institution to check access.
Literature Cited
A. L. Fuksman, Technological Aspects of Software Development [in Russian], Statistika, Moscow (1979).
A. P. Ershov, An Introduction to Programming Theory [in Russian], Nauka, Moscow (1977).
V. E. Kotov, An Introduction to the Theory of Program Schemata [in Russian], Nauka, Novosibirsk (1978).
L. V. Chernobrod, “On variable type checking using program proving,” Programmirovanie, No. 4, 14–24 (1982).
M. A. Kaplan and J. D. Ullman, “A scheme for the automatic inference of variable types,” JACM,27, No. 1, 128–145 (1980).
K. R. Apt, “Ten years of Hoare's logic: a survey. I,” ACM Trans. Progr. Lang. Systems,3, No. 4, 431–483 (1981).
L. V. Chernobrod, “Program correctness and equivalence,” Programmirovanie, No. 6, 16–25 (1976).
S. A. Cook, “Soundness and completeness of axiom systems for program verification,” SIAM J. Comput.,7, No. 1, 70–90 (1978).
S. Igarashi, R. L. London, and D. C. Luckham, “Automatic program verification. I: Logical basis and its implementation,” Acta Informatica,4, No. 2, 145–182 (1975).
S. Gerhart, “Proof theory of partial correctness verification system,” SIAM J. Comput.,5, No. 3, 355–377 (1976).
Additional information
Translated from Kibernetika, No. 4, pp. 45–53, 57, July–August, 1984.
Rights and permissions
About this article
Cite this article
Chernobrod, L.V. Axiomatic system for program correctness verification with respect to the structure of objects. Cybern Syst Anal 20, 519–531 (1984). https://doi.org/10.1007/BF01068926
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068926