This shows you the differences between two versions of the page.
courses:pl2012:main [2012/12/12 13:40] tsay |
courses:pl2012:main [2017/07/07 16:22] (current) tsay [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
=====Announcements===== | =====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/12: notes/slides for Imperative Programming: Procedures available. | ||
* 12/05: notes/slides for Imperative Programming: Data Types available. | * 12/05: notes/slides for Imperative Programming: Data Types available. | ||
Line 45: | Line 51: | ||
=====Syllabus/Schedule (with links to slides/notes)===== | =====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}}] | *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: 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}}] | *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: 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}}] | *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}}] | *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}}] | *Logic Programming (.5 week: 01/02) [{{courses:pl2012:lp_notes.pdf|notes}}, {{courses:pl2012:lp_slides.pdf|slides}}] | ||
* **Final** (**2013/01/09**) | * **Final** (**2013/01/09**) | ||
Line 86: | Line 92: | ||
- //The Annotated C++ Reference Manual//, M.A. Ellis and B. Stroustrup, Addison-Wesley, 1990. | - //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 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. | - //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. | - //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]]. | ||