Tag Archives: proof

Loop Invariant Proofs

Sometime last year I ran across a blog talking about loop invariant proofs. At the time it seemed like a new concept to me. My undergraduate degree was not in computer science, and my graduate degree in computer science was … Continue reading

Posted in computer science | Tagged , , | Leave a comment