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.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.