Differences

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

--- courses:pl2012:main [2012/12/12 05:40] – tsay
+++ courses:pl2012:main [2017/07/07 08:22] (current) – [Announcements] tsay
@@ Line 3: / Line 3: @@
 =====Announcements=====
+  * 01/24: Grade Report available.
+  * 01/02: slides for Concurrent Programming available.
+  * 12/26: {{courses:pl2012:hw10.pdf|HW#10}} due 2013/01/02.
+  * 12/26: notes/slides for Object-Oriented Programming available.
+  * 12/19: {{courses:pl2012:hw9.pdf|HW#9}} due 12/26.
+  * 12/19: notes/slides/examples for Program Verification: Hoare Logic available.
   * 12/12: notes/slides for Imperative Programming: Procedures available.
   * 12/05: notes/slides for Imperative Programming: Data Types available.
@@ Line 45: / Line 51: @@
 =====Syllabus/Schedule (with links to slides/notes)=====
-Note: there are four TA sessions on 10/24, 10/31, 12/5, and 2013/1/2, making up the missed class meeting on 11/28.)
+Note: there are four TA sessions on 10/24, 10/31, 12/5, and 2013/1/2, making up the missed class meeting on 11/28.
   *Introduction (.5 week: 09/12a) [{{courses:pl2012:introduction_notes.pdf|notes}},{{courses:pl2012:introduction_slides.pdf|slides}}]
@@ Line 56: / Line 62: @@
   *Imperative Programming: Data Types (.5 week: 11/21a) [{{courses:pl2012:datatypes_notes.pdf|notes}}, {{courses:pl2012:datatypes_slides.pdf|slides}}]
   *Imperative Programming: Procedures (.5 week: 11/21b) [{{courses:pl2012:procedures_notes.pdf|notes}}, {{courses:pl2012:procedures_slides.pdf|slides}}]
-  *Program Verification: Hoare Logic (1 week: 12/05) [{{courses:pl2012:hoare_logic_notes.pdf|notes}}, {{courses:pl2012:hoare_logic_slides.pdf|slides}}]
+  *Program Verification: Hoare Logic (1 week: 12/05) [{{courses:pl2012:hoare_logic_notes.pdf|notes}}, {{courses:pl2012:hoare_logic_slides.pdf|slides}}, {{courses:pl2012:hoare_logic_proofs.pdf|example proofs}}]
   *Program Verification: Predicate Transformers (1 week: 12/12) [{{courses:pl2012:predicate_transformers_notes.pdf|notes}}, {{courses:pl2012:predicate_transformers_slides.pdf|slides}}]
   *Program Verification: Hoare-Style Verifiers (1 week: 12/19) [{{courses:pl2012:verifiers_notes.pdf|notes}}, {{courses:pl2012:verifiers_slides.pdf|slides}}]
   *Object-Oriented Programming (1 week: 12/26) [{{courses:pl2012:oop_notes.pdf|notes}}, {{courses:pl2012:oop_slides.pdf|slides}}]
-  *Concurrent Programming (.5 week: 01/02) [{{courses:pl2012:concurrent_notes.pdf|notes}}, {{courses:pl2012:concurrent_slides.pdf|slides}}]
+  *Concurrent Programming (.5 week: 01/02) [{{courses:pl2012:concurrent_slides.pdf|slides}}]
   *Logic Programming (.5 week: 01/02) [{{courses:pl2012:lp_notes.pdf|notes}}, {{courses:pl2012:lp_slides.pdf|slides}}]
   * **Final** (**2013/01/09**)
@@ Line 86: / Line 92: @@
   - //The Annotated C++ Reference Manual//, M.A. Ellis and B. Stroustrup, Addison-Wesley, 1990.
   - //The Java Language Specification, 3rd Ed.//, J. Gosling, B. Joy, G. Steele, and G. Bracha, Addison-Wesley, 2005.
+  - //The Java Tutorial: Object-Oriented Programming for the Internet//, M. Campione and K. Walrath, Addison-Wesley, 1996.
+  - //Distributed Systems: Concepts and Constructs, 4th Edition//, G. Coulouris, J. Dollimore, and T. Kindberg, Addison-Wesley, 2005.
   - //Principles of Concurrent and Distributed Programming, 2nd Edition//, M. Ben-Ari, Addison-Wesley, 2005.
   - //Programming in Prolog: Using the ISO Standard, 5th Edition//, W.F. Clocksin and C.S. Mellish, Springer, 2003.
+  - [[http://en.wikipedia.org/wiki/Datalog#Systems_implementing_Datalog|The Datalog Wikipedia Page]].
+  - [[https://sites.google.com/site/pydatalog/Online-datalog-tutorial|Online Datalog Tutorial]].