Invariant - Computer Science

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)

    “I exulted like “a pagan suckled in a creed” that had never been worn at all, but was brand-new, and adequate to the occasion. I let science slide, and rejoiced in that light as if it had been a fellow creature. I saw that it was excellent, and was very glad to know that it was so cheap. A scientific explanation, as it is called, would have been altogether out of place there. That is for pale daylight.”
    —Henry David Thoreau (1817–1862)