Uppslagsverket

Uppslagsverket
Logga in

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.

eller
Är du en lärare? Starta din kostnadsfria provperiod härifrån.