Iterative methods of program analysis-Reference-Cited by-同舟云学术

Iterative methods of program analysis

Published:1989 Issue:2 Volume:25 Page:139-152
ISSN:0011-4235
Container-title:Cybernetics
language:en
Short-container-title:Cybern Syst Anal

Author:

Godlevskii A. B.,Kapitonova Yu. V.,Krivoi S. L.,Letichevskii A. A.

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01070122.pdf

Reference25 articles.

1. V. M. Glushkov, Yu. V. Kapitonov, and A. A. Letichevskii, ?Theoretical foundations of digital system design,? Kibernetika, No. 6, 5?20 (1977).

2. G. Myers, Software Reliability, Wiley, NY (1976).

3. G. A. Kildall, ?A unified approach to global program optimization,? Conf. Rec. ACM Symp. on Principles Program. Lang., Boston (1973), pp. 194?206.

4. A. A. Letichevskii, ?Program equivalence and optimization,? Proc. Intern. Symp. on Programming Theory [in Russian], Novosibirsk (1972), pp. 166?180.

5. A. A. Letichevskii, ?On one approach to program analysis,? Kibernetika, No. 6, 1?8 (1979).

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysis of Linear Definite Iterative Loops;Cybernetics and Systems Analysis;2016-01

2. The Structure of Polynomial Invariants of Linear Loops;Cybernetics and Systems Analysis;2015-05

3. A Method of Proving the Invariance of Linear Inequalities for Linear Loops;Cybernetics and Systems Analysis;2014-07

4. Theoretical and Applied Programming;Topical Directions of Informatics;2014

5. Nonlinear invariants for linear loops and eigenpolynomials of linear operators;Cybernetics and Systems Analysis;2012-03