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 archetype of all humans, their ideal image, is the computer, once it has liberated itself from its creator, man. The computer is the essence of the human being. In the computer, man reaches his completion.”
    —Friedrich Dürrenmatt (1921–1990)

    “The universe is the externisation of the soul. Wherever the life is, that bursts into appearance around it. Our science is sensual, and therefore superficial. The earth, and the heavenly bodies, physics, and chemistry, we sensually treat, as if they were self-existent; but these are the retinue of that Being we have.”
    —Ralph Waldo Emerson (1803–1882)