Built site for gh-pages

.nojekyll

@@ -1 +1 @@
-50b04865
+f9eaef45

schedule.html

@@ -317,39 +317,39 @@ <h1>Week-By-Week</h1>
 <td>10</td>
 <td>T</td>
 <td>10/31</td>
-<td>Axiomatic semantics</td>
+<td>Denotational semantics</td>
 <td></td>
 <td></td>
 </tr>
 <tr class="even">
 <td></td>
 <td>R</td>
 <td>11/2</td>
-<td>Axiomatic semantics</td>
+<td>Recursive types</td>
 <td></td>
 <td>HW3 due Fri</td>
 </tr>
 <tr class="odd">
 <td>11</td>
 <td>T</td>
 <td>11/7</td>
-<td>Verification-condition generation</td>
-<td></td>
+<td>Axiomatic semantics</td>
+<td><strong>Advised</strong>. Winskel Ch. 6<br><br> <strong>Recommended</strong>. Winskel Ch. 7.<br> It is ok to skim 7.1 and 7.3.</td>
 <td></td>
 </tr>
 <tr class="even">
 <td></td>
 <td>R</td>
 <td>11/9</td>
-<td>Verification-condition generation</td>
-<td></td>
+<td>Abstract machines</td>
+<td><strong>Advised</strong>. Harper 27.1-27.2 (Control Stacks).<br> Sections 27.3 can be considered supplemental.<br><br> <strong>Recommended</strong>. Harper 28.1-28.2 and 29.1-29.2 (Exceptions and Continuations).<br> Sections 28.3-28.4 and 29.3 can be considered supplemental.</td>
 <td></td>
 </tr>
 <tr class="odd">
 <td>12</td>
 <td>T</td>
 <td>11/14</td>
-<td>Abstract interpretation</td>
+<td>Verification-condition generation</td>
 <td></td>
 <td></td>
 </tr>