Sto leggendo Coders at Work e in esso si parla molto di invarianti. Per quanto ho capito, un invariante è una condizione che contiene sia prima che dopo un'espressione. Sono, tra le altre cose, utili a dimostrare che il ciclo è corretto, se ri...
posta
30.12.2010 - 22:19