invariant
invariaʹnt (engelska,, av nekande in- och latin vaʹrians, genitiv variaʹntis, presens particip av vaʹrio ’förändra’, ’göra brokig’), i datavetenskapliga sammanhang en relation mellan variabler i ett program som inte förändras över ett programavsnitt.
Invarianter används som hjälpmedel för diskussion och bevis av korrekthet i program.
Information om artikeln
Källangivelse