Loop Invariants

by J.P. Dougherty (c2003)

(to the tune of "Here Comes Santa Claus")


Loop invariants, loop invariants
Keep me on the road,
Loop invariants, loop invariants
As I write my code.

Preconditions, postconditions,
Help to shed some light.
Assertions used to write the loop
Will help me get it right.

Loop invariants, loop invariants
They can be a pain.
Loop invariants, loop invariants
Oh, but what I gain.

Executing, substituting,
Each does complement.
Code correctness is the goal
Of loop invariants.