Translation of loop invariant into German
Noun
computer science
- The loop invariant helps ensure the algorithm's correctness.Die Schleifeninvariante hilft, die Korrektheit des Algorithmus sicherzustellen.
Synonyms and analogies of loop invariant in English
Examples of loop invariant in a sentence
Understanding the loop invariant simplifies debugging complex loops.
loop invariant: Examples and translations in context
The process of claim 1, wherein the optimizing is performed according to at least one of global common subexpression, loop invariant hoisting, common sub-expression elimination, and liveness analysis.
Prozess nach Anspruch 1, wobei die Optimierung entsprechend mindestens einem von folgendem durchgeführt wird: globaler gemeinsamer Teilausdruck, schleifeninvariantes Verschieben, Eliminierung gemeinsamer Teilausdrücke und Liveliness-Analyse.
In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration.
In der Informatik ist eine Schleifeninvariante eine Sonderform der Invariante, die vor, während und nach der Ausführung einer Schleife in einem Algorithmus gültig ist.
We use a closure property of SCA for computing disjunctive loop invariants.
Wir nützen eine Abschlusseigenschaft von SCA zur Berechnung disjunktiver Schleifeninvarianten.
This is achieved by integrating specifications in form of loop invariants and methods contracts into a symbolic execution engine.
Dies wird durch die Integration von Spezifikationen in Form von Schleifeninvarianten und Methodenverträgen erreicht.
This dissertation deals with the automatic generation of sound specifications from a given program in the form of loop invariants and method contracts.
Diese Dissertation beschreibt die automatische Erzeugung korrekter Spezifikationen aus einem gegebenen Programm in Form von Schleifeninvarianten und Methodenverträge.
The developed approach is able to deal with unbounded loops and recursive method invocation by using program specifications like loop invariants or method contracts.
Das entwickelte Verfahren unterstützt unbegrenzte Schleifenausführungen und rekursive Methodenaufrufe mit Hilfe von Programmspezifikationen wie Schleifeninvarianten und Methodenverträgen.