Alex Rivera | Logout

Questions tagged loop-invariant

2 questions

Sort by: Newest Votes Active
10
votes
4
answers

Hoare Logic Loop Invariant

language-agnostic logic verification invariants loop-invariant
asked 2011-01-24T15:22:59.640
48
votes
10
answers

In a "i < vector.size()" loop condition, is size() called each iteration?

c++ for-loop compiler-optimization stdvector loop-invariant
asked 2010-10-10T18:37:13.687