循环不变量 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "循环不变量" in Chinese language version.

refsWebsite

Global rank Chinese rank

1^st place

3,341^st place

4,210^th place

415^th place

500^th place

2^nd place

23^rd place

doi.org

R. W. Floyd. "Assigning meanings to programs." Proceedings of the American Mathematical Society Symposia on Applied Mathematics. Vol. 19, pp. 19–31. 1967. (存档副本 (PDF). 2008-12-09 [2009-11-10]. （原始内容 (PDF)存档于2008-12-09）. )

R. W. Floyd. "Assigning meanings to programs." Proceedings of the American Mathematical Society Symposia on Applied Mathematics. Vol. 19, pp. 19–31. 1967. (存档副本 (PDF). 2008-12-09 [2009-11-10]. （原始内容 (PDF)存档于2008-12-09）. )
C. A. R. Hoare. "An axiomatic basis for computer programming （页面存档备份，存于互联网档案馆）". Communications of the ACM, 12(10):576–585, October 1969. doi:10.1145/363235.363259