Invariant (computer science)
Encyclopedia : I : IN : INV : Invariant (computer science)
An invariant is a condition that does not change, or should not, if the system is working correctly.
For example, consider code in a computer program that repeatedly operates on some data. It is often the case that some data is expected to change, and some is expected to not change.
In computer science, optimizing compilers, the methodology of design by contract and formal methods pay close attention to invariant quantities in computer programs, where the set of transformations involved is the execution of the steps of the computer program.
See also
- Const correctness, another form of invariance in computer science
- Varieties of invariants
- *Class invariant
- *Loop invariant
- *Object invariant
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.