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)

    “The well-educated young woman of 1950 will blend art and sciences in a way we do not dream of; the science will steady the art and the art will give charm to the science. This young woman will marry—yes, indeed, but she will take her pick of men, who will by that time have begun to realize what sort of men it behooves them to be.”
    —Ellen Henrietta Swallow Richards (1842–1911)