Loop invariant (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Loop invariant" in English language version.

refsWebsite

Global rank English rank

2^nd place

69^th place

59^th place

low place

7,981^st place

1^st place

11^th place

8^th place

low place

arxiv.org (Global: 69^th place; English: 59^th place)

Furia, Carlo A.; Meyer, Bertrand; Velder, Sergey (2014-01-13), Loop invariants: analysis, classification, and examples, arXiv, doi:10.48550/arXiv.1211.4470, arXiv:1211.4470, retrieved 2025-09-21

Robert W. Floyd (1967). "Assigning Meanings to Programs" (PDF). In J.T. Schwartz (ed.). Proceedings of Symposia in Applied Mathematics. Mathematical Aspects of Computer Science. Vol. 19. Providence, RI: American Mathematical Society. pp. 19–32.

Furia, Carlo A.; Meyer, Bertrand; Velder, Sergey (2014-01-13), Loop invariants: analysis, classification, and examples, arXiv, doi:10.48550/arXiv.1211.4470, arXiv:1211.4470, retrieved 2025-09-21
Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming" (PDF). Communications of the ACM. 12 (10): 576–580. doi:10.1145/363235.363259. S2CID 207726175. Archived from the original (PDF) on 2016-03-04.
Pearce, David J.; Groves, Lindsay (2015). "Designing a Verifying Compiler: Lessons Learned from Developing Whiley". Science of Computer Programming. 113: 191–220. doi:10.1016/j.scico.2015.09.006.