Using a Loop Invariant to Help Think About a Program

Last week, I talked about how to write a loop invariant. I would like to continue this discussion by paraphrasing a beautifully elegant example that Dijkstra used in A Discipline of Programming.


September 19, 2014
URL:http://www.drdobbs.com/cpp/are-you-sure-you-know-whats-broken/240144986http:/www.drdobbs.com/cpp/the-pi-transform/www.drdobbs.com/embedded-systems/using-a-loop-invariant-to-help-think-abo/240169056

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.