<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)
Try this search on Wikipedia, OneLook, Google
Nearby terms: intuitionistic logic « intuitionistic probability « intuitionist logic « invariant » inverse » Inverse Address Resolution Protocol » inverse comment convention
