Differences

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

--- lectures [2015/08/06 03:19] – jackie
+++ lectures [2015/08/13 03:39] (current) – jackie
@@ Line 74: / Line 74: @@
     * You can also find details about the Hoare triple here.
+==== Week 13 (August 12) ====
+=== 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 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