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:

    “Family life is not a computer program that runs on its own; it needs continual input from everyone.”
    —Neil Kurshan (20th century)

    “Science is properly more scrupulous than dogma. Dogma gives a charter to mistake, but the very breath of science is a contest with mistake, and must keep the conscience alive.”
    —George Eliot [Mary Ann (or Marian)