New posts in clrs

What is a loop invariant?

algorithm terminology definition clrs loop-invariant