Revisió del 22:54, 15 març 2013 modifica Legobot (discussió \| contribucions) Bots 236.727 edits m Bot: Traient 17 enllaços interwiki, ara proporcionats per Wikidata a d:q188211 ← Edició anterior		Revisió del 10:56, 24 nov 2013 modifica desfés EVA (bot) (discussió \| contribucions) Bots 851.856 edits m Construcció invàlida Edició següent →
Línia 18: == Invariància en programació == Un invariant és una condició o propietat que es manté certa en certs punts del programa, com per exemple, descriure l'estat de les variables d'un bucle abans de que se n'avaluï la seva condició. S'usa sobretot en la depuració de programes en les últimes fases del seu desenvolupament o en modificar codi existent (prova de regressió). Per exemple, els compiladors analitzen l'invariant d'un bucle per saber com paraŀlelitzar-lo o vectorialitzar-lo. Hi ha casos d'optimització en els que podem fer servir l'invariant d'un bucle per treure aquesta part a fora i vagi més rapid.

Invariant: diferència entre les revisions