Channels ▼

Blogs

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.

October 06, 2014

Loop Invariants And Testing: Often Possible, Often Difficult

We can think of an invariant as being a claim or belief about the state of program that we expect to be true each time control reaches a particular point in the program.




C/C++ Source Code Archive  

2010



Video