Invariant (informatică)
Salt la navigare Salt la căutare
În informatică, un predicat este numit invariant pentru o secvență de operații atunci când predicatul este adevărat înainte și după executarea secvenței.
Deși programele de computer sunt specificate în primul rând în ceea ce privește modificările, este la fel de important să cunoașteți sau să specificați invarianții programului.
Teoria optimizării compilatorului, metodologia de programare a contractelor și metodele formale pentru determinarea corectitudinii unui program iau în considerare invarianții.
Programatorii folosesc adesea afirmații în codul lor pentru a face explicit invarianții. Unele limbaje orientate obiect au o sintaxă specială pentru specificarea invarianților de clasă .
