对程序进行推理逻辑计算机科学导论.pptVIP

* * * * * * * * * * * * * * 程 序 验 证 实 例 n ? 0 void mult(int m, int n) { (0 == m?0) ? (0 ? n) x = 0 ; (x == m?0) ? (0 ? n) y = 0 ; ((x ==m?y) ? (y ? n)) ? (y n) ? (x+m ==m?(y+1)) ? ((y+1) ? n) while (y n) do { (x == m?y) ? (y ? n) (x+m == m?(y+1)) ? ((y+1) ? n) x = x + m ; (x == m?(y+1)) ? ((y+1) ? n) y = y + 1 ; } (x == m?y) ? (y ? n) ((x == m?y) ? (y ? n)) ? ?(y n) ? (x == m?n) } x == m ? n 程 序 验 证 实 例 n ? 0 void mult(int m, int n) { ( n ? 0 ) ? ((0 == m?0) ? (0 ? n)) (0 == m?0) ? (0 ? n) x