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 Buddha, the Godhead, resides quite as comfortably in the circuits of a digital computer or the gears of a cycle transmission as he does at the top of a mountain or in the petals of a flower.”
—Robert M. Pirsig (b. 1928)
“Whilst Marx turned the Hegelian dialectic outwards, making it an instrument with which he could interpret the facts of history and so arrive at an objective science which insists on the translation of theory into action, Kierkegaard, on the other hand, turned the same instruments inwards, for the examination of his own soul or psychology, arriving at a subjective philosophy which involved him in the deepest pessimism and despair of action.”
—Sir Herbert Read (1893–1968)