Channels ▼

Blogs

November 24, 2014

Abstractions For Binary Search, Part 6: How On Earth Do You Test It?

We will reduce a substantial part of our problem to calling these two functions repeatedly with suitably chosen test cases and verifying that they return the same results.

November 13, 2014

Abstractions For Binary Search, Part 5: Getting Down to Details

It's hard to imagine how this code could be much simpler. However, we don't actually know whether it works.

November 10, 2014

Invariants for Binary Search, Part 4: Using The Improved Abstractions

We continue our discussion of how to implement our binary search in an n-element sequence.




C/C++ Source Code Archive  

2013



Video