INVARIANTI

Un invariante di programma è una relazione

sempre vera in un dato punto del program-

ma.

Esempio:

double power(double b, int k){

return (k<=0) ? 1 : powerIt(b,k,b,1);

}

Invariante di programma:è sempre vero che qui k>0

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica