Meaning of INVARIANT in English


< programming > A rule, such as the ordering of an ordered list or heap , that applies throughout the life of a data structure or procedure. Each change to the data structure must maintain the correctness of the invariant.


FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.