Differences

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

--- lectures [2015/08/06 03:18] – jackie
+++ lectures [2015/08/13 03:39] (current) – jackie
@@ Line 72: / Line 72: @@
   * DbC and Loops (up to slide 21) [[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]]
   * The [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/readings/OOSC2_DbC.pdf|DbC Chapter in OOSC2]]
+    * 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