Channels ▼

Blogs

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 14, 2014

Ada Lovelace Day: Celebrate Yourself

Honoring women in STEM

October 13, 2014

Embedded Memory Allocation

Possibly the worst sin of calling malloc is that it might take a very long time to complete.

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.

September 29, 2014

A Loop Invariant Can Be An Optimization Tool

This week, we'll look at the helpful qualities of loop invariants.




More mobile/the iphone application builder/mobile analytics



Video