Differences

This shows you the differences between two versions of the page.

--- lectures [2015/08/13 03:36] – jackie
+++ lectures [2015/08/13 03:39] (current) – jackie
@@ Line 78: / Line 78: @@
 === Slides and Notes ===
   * DbC and Loops (from Slide 22 to the end) [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_10_Dbc_Loops.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_10_Dbc_Loops_4up.pdf|4-up version]]
-    * [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/notes/EECS3311-S15_Exercise_WP.pdf|Exercise]] which you're expected to complete.
+    * [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/notes/EECS3311-S15_Exercise_WP.pdf|Exercise on Proving Loop Correctness]] which you're expected to complete.
     * [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/code/loop_correctness.zip|Example code of loop invariant and variant]] that you should play with