Invariant (computer science)
From Wikipedia, the free encyclopedia
 |
This article or section may be confusing or unclear for many readers. Please improve the article or discuss this issue on the talk page. This article has been tagged since December 2006. |
An invariant is a something--a condition, data value, object, or class--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.
[edit] See also
- Const correctness, another form of invariance in computer science
- Varieties of invariants
