Инвариант
Инвариант — это программный объект, не изменяющийся в процессе выполнения.
Инварианты используется при доказательстве правильности программ.
неизменяющаяся, неизменная величина, единица; в математике – величина (выражение), остающаяся неизменной при определенных преобразованиях переменных; в языкознании – абстрактная структурная единица языка (фонема, морфема, лексема и др.) вне конкретной реализации.
Подпишитесь на рассылку