EntityQ2238838· pop 12· linked from 47 articlesloop invariantSign in to saveinvariants used to prove properties of loopsConnectionsprogram loopEntityHoare logicEntitycorrectnessEntitycomputer scienceEntityInternational Standard Book NumberEntityQ15777EntityalgorithmEntityintegerEntitycomputer programEntitydigital object identifierEntitycompilerEntityrecursionEntityQ118398Entitysorting algorithmEntitysubroutineEntityTony HoareEntityQ845566EntityQ732089EntityQ22908627Entityfirst-order logicEntityCategoriesControl flowFormal methods