invariant (computer science): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

    31 October 2014

    • curprev 08:0608:06, 31 October 2014Gleki talk contribs 3,383 bytes +3,383 Created page with "An ''invariant'' is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It is a logical assertion that is held to a..."