Enzyklopädie > I > Invariante (Informatik)
Invariante (Informatik)
Eine Invariante ist eine Bedingung, die in bestimmten Programmzuständen erfüllt sein muss. Invarianten können zum Beweis der Korrektheit von Algorithmen verwendet werden und spielen eine große Rolle im Design By Contract.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)