invariant
Sign in to savecondition that can be relied upon to be true during execution of a program, or during some portion of it
Wikidata facts
- Subclass of
- predicate
- Part of
- computer program
Show 1 more fact
- has characteristic
- invariant
Sources (1)
via Wikidata · CC0