e/Invariant (computer science)

New Query

Information
has glosseng: In computer science, a predicate is called an invariant to a sequence of operations if the predicate always evaluates at the end of the sequence to the same value as before starting the sequence.
lexicalizationeng: invariant
instance ofe/Formal methods
Meaning
German
has glossdeu: Eine Invariante ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt. Sie ist also vor und nach diesen Befehlen wahr, sie ist demnach nicht veränderlich, also invariant. Invarianten können zum Beweis der Korrektheit von Algorithmen verwendet werden und spielen eine große Rolle im Design By Contract. Dabei werden für eine Methode einer Schnittstelle deren Vor- und Nachbedingungen und alle Invarianten in ihrem Ablauf beschrieben. Mittels so genannter Assertions (Zusicherungen) kann man dieses Konzept implementieren, sofern es die verwendete Programmiersprache oder API unterstützt.
lexicalizationdeu: Invariante
Japanese
has glossjpn: 計算機科学における不変条件(英: invariant)とは、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。
lexicalizationjpn: 不変条件
Dutch
has glossnld: In de informatica is een invariant een predicaat dat dezelfde waarheidswaarde behoudt tijdens het uitvoeren van een stuk code.
lexicalizationnld: invariant
Ukrainian
has glossukr: Інваріа́нт (, , ) — термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне.
lexicalizationukr: інваріант

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint