invariant
<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.
(1996-03-12)
Nearby terms:
intuitionistic logic « intuitionistic probability «
intuitionist logic « invariant » inverse »
Inverse Address Resolution Protocol » inverse
comment convention
|
