Invariants For Binary Search, Part 1: A Simple Example

We can use an invariant to help us reason about a piece of code that many programmers find hard to get right by any other means.


October 16, 2014
URL:http://www.drdobbs.com/cpp/invariants-for-binary-search-part-1-a-si/240169169

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