Home >  Term: loop invariant
loop invariant

A logical expression specifying one or more conditions that must be met each time a particular point in a program loop is executed.

0 0

Creator

  • artemis
  •  (Gold) 1356 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.