Channels ▼

Blogs

October 31, 2014

Invariants for Binary Search, Part 3: Improving Our Abstractions

With this abstraction under our belts, we can proceed to write code. If you're interested, you might like to do so for yourself before I show you the details next week.

October 22, 2014

Invariants for Binary Search, Part 2: Refining The Specifications

This week, we will try to define more carefully the problem we would like to solve before leaping into the solution.

October 16, 2014

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.




C/C++ news Archive  RSS

August 2010



Video