Invariant: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: es -> és un |
m Corregit: com paraŀlelitzar-lo > com paral·lelitzar-lo |
||
Línia 20:
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 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
Un altre exemple seia per passar una funció recursiva a iterativa.
| |||