| German |
| has gloss | deu: 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. |
| lexicalization | deu: Invariante |
| Japanese |
| has gloss | jpn: 計算機科学における不変条件(英: invariant)とは、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。 |
| lexicalization | jpn: 不変条件 |
| Dutch |
| has gloss | nld: In de informatica is een invariant een predicaat dat dezelfde waarheidswaarde behoudt tijdens het uitvoeren van een stuk code. |
| lexicalization | nld: invariant |
| Ukrainian |
| has gloss | ukr: Інваріа́нт (, , ) — термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне. |
| lexicalization | ukr: інваріант |