Computer Science
- Invariant (computer science), an expression whose value doesn't change during program execution
- Loop invariant, invariants used to prove properties of loops
- A data type in method overriding that is neither covariant nor contravariant
- Class invariant, invariants used to constrain objects of a class
Read more about this topic: Invariant
Famous quotes containing the words computer and/or science:
“The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)
“What is done for science must also be done for art: accepting undesirable side effects for the sake of the main goal, and moreover diminishing their importance by making this main goal more magnificent. For one should reform forward, not backward: social illnesses, revolutions, are evolutions inhibited by a conserving stupidity.”
—Robert Musil (1880–1942)