Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00251403n
Noun Concept
Categories: Formal methods, Computer programming
EN
invariant
EN
In computer science, an invariant is a condition that can be relied upon to be true during the execution of a program, or during some portion of it. Wikipedia
English:
computer science
Definitions
Relations
Sources
EN
In computer science, an invariant is a condition that can be relied upon to be true during the execution of a program, or during some portion of it. Wikipedia
An expression whose value doesn't change during program execution Wikipedia Disambiguation
IS A
predicate
PART OF
program
HAS KIND
loop invariant
class invariant
HAS QUALITY
invariant
Wikipedia
EN
invariant (computer science)
Wikidata
EN
invariant

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License