Publisher
Springer Science and Business Media LLC
Reference23 articles.
1. R. W. Floyd, “Assigning meanings to programs,” in: J. T. Schwartz (ed.), Proc. Symp. on Applied Mathematics, 19, American Math. Society, Providence (1967), pp. 19–32.
2. C. A. R. Hoare, “An axiomatic basis for computer programming,” Communications of the ACM, 12, No. 10, 576–580 (1969).
3. A. B. Godlevskii, Yu. V. Kapitonova, S. L. Krivoy, and A. A. Letichevskii, “Iterative methods of program analysis,” Cybernetics, 25, No. 2, 139–152 (1989).
4. M. S. L’vov, “Invariant equalities of small degrees in programs defined over a field,” Kibernetika, No. 1, 108–110 (1988).
5. A. Letichevsky and M. Lvov, “Discovery of invariant equalities in programs over data fields,” Applicable Algebra in Engineering, Communication and Computing, No. 4, 21–29 (1993).