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)

    “It is unheard-of, uncivilized barbarism that any woman should still be forced to bear such monstrous torture. It should be remedied. It should be stopped. It is simply absurd that, with our modern science, painless childbirth does not exist as a matter of course.... I tremble with indignation when I think of ... the unspeakable egotism and blindness of men of science who permit such atrocities when they can be remedied.”
    —Isadora Duncan (1878–1927)