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:

    “What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
    —Rudolf Arnheim (b. 1904)

    “What would life be without art? Science prolongs life. To consist of what—eating, drinking, and sleeping? What is the good of living longer if it is only a matter of satisfying the requirements that sustain life? All this is nothing without the charm of art.”
    —Sarah Bernhardt (1845–1923)