You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL