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 computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.”
    —Sherry Turkle (b. 1948)

    “Nor has science sufficient humanity, so long as the naturalist overlooks the wonderful congruity which subsists between man and the world; of which he is lord, not because he is the most subtile inhabitant, but because he is its head and heart, and finds something of himself in every great and small thing, in every mountain stratum, in every new law of color, fact of astronomy, or atmospheric influence which observation or analysis lay open.”
    —Ralph Waldo Emerson (1803–1882)