| Invariant (computer Science) |
Article Index for Invariant |
Information AboutInvariant (computer Science) |
|
An invariant is a condition that does not change, or ''should'' not, if the system is working correctly. In Computer Science , Optimizing Compiler s, the methodology of Design By Contract and Formal Methods pay close attention to invariant quantities in Computer Program s, where the set of transformations involved is the execution of the steps of the computer program. SEE ALSO
|
|
|