6
Cosa sono gli invarianti, come possono essere usati e l'hai mai usato nel tuo programma?
Sto leggendo Coders at Work , e in esso si parla molto di invarianti. Per quanto ho capito, un invariante è una condizione che detiene sia prima che dopo un'espressione. Sono, tra l'altro, utili per dimostrare che il ciclo è corretto, se ricordo correttamente il mio corso di Logica. La …
48
invariants