Editing Loop invariant (section)

== Further reading ==
* [[Thomas H. Cormen]], [[Charles E. Leiserson]], [[Ronald L. Rivest]], and [[Clifford Stein]]. ''[[Introduction to Algorithms]]'', Second Edition. MIT Press and McGraw-Hill, 2001. {{ISBN|0-262-03293-7}}. Pages 17–19, section 2.1: Insertion sort.
* [[David Gries]]. "[https://www.sciencedirect.com/science/article/pii/0167642383900151/pdf?md5=b36e62073525cbaa449b94ac1f1784fb&isDTMRedir=Y&pid=1-s2.0-0167642383900151-main.pdf&_valck=1 A note on a standard strategy for developing loop invariants and loops]." ''Science of Computer Programming'', vol 2, pp.&nbsp;207–214. 1984.
* Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin. "[http://citeseer.ist.psu.edu/292512.html Dynamically Discovering Likely Program Invariants to Support Program Evolution]." ''International Conference on Software Engineering'', pp.&nbsp;213–224. 1999.
* Robert Paige. "[https://www.cs.tufts.edu/~nr/cs257/archive/robert-paige/invariants.pdf Programming with Invariants]." ''IEEE Software'', 3(1):56–69. January 1986.
* Yanhong A. Liu, Scott D. Stoller, and [[Tim Teitelbaum]]. [http://www.cs.sunysb.edu/~stoller/SIEC-SCP.html Strengthening Invariants for Efficient Computation]. ''Science of Computer Programming'', 41(2):139–172. October 2001.
* Michael Huth, Mark Ryan. "[https://books.google.com/books?id=eUggAwAAQBAJ&q=%22loop+invariant%22 Logic in Computer Science].", Second Edition.

{{DEFAULTSORT:Loop Invariant}}
[[Category:Formal methods]]
[[Category:Control flow]]