Dr. Dobb's | Loop Invariants And Testing: Often Possible, Often Difficult

Loop Invariants And Testing: Often Possible, Often Difficult

We can think of an invariant as being a claim or belief about the state of program that we expect to be true each time control reaches a particular point in the program.

October 06, 2014
URL:http://www.drdobbs.com/cpp/loop-invariants-and-testing-often-possib/240169122