Als Schleifeninvariante werden Eigenschaften einer Schleife in einem Algorithmus bezeichnet, die zu einem bestimmten Punkt bei jedem Schleifendurchlauf gültig sind, unabhängig von der Zahl ihrer derzeitigen Durchläufe. Sie werden zur Verifizierung von Algorithmen benötigt und helfen zudem, die Vorgänge innerhalb einer Schleife besser zu erfas...
Gefunden auf
https://de.wikipedia.org/wiki/Schleifeninvariante
Subst. (loop invariant) Eine Bedingung, die während eines Schleifendurchlaufs wahr bleibt.
Gefunden auf
https://www.enzyklo.de/Lokal/40099
Keine exakte Übereinkunft gefunden.
