loop invariant
Sign in to saveinvariants used to prove properties of loops
Connections
program loop
Entity
Hoare logic
Entity
correctness
Entity
computer science
Entity
International Standard Book Number
Entity
Q15777
Entity
algorithm
Entity
integer
Entity
computer program
Entity
digital object identifier
Entity
compiler
Entity
recursion
Entity
Q118398
Entity
sorting algorithm
Entity
subroutine
Entity
Tony Hoare
Entity
Q845566
Entity
Q732089
Entity
Q22908627
Entity
first-order logic
Entity