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)

    “Science is analytical, descriptive, informative. Man does not live by bread alone, but by science he attempts to do so. Hence the deadliness of all that is purely scientific.”
    —Eric Gill (1882–1940)