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/jvm/optimizing-math-intensive-applications-w/cpp/using-a-loop-invariant-to-help-think-abo/240169056

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