This shows you the differences between two versions of the page.
courses:pl2012:main [2012/12/20 22:18] 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: {{courses:pl2012:hw9.pdf|HW#9}} due 12/26. | ||
* 12/19: notes/slides/examples for Program Verification: Hoare Logic available. | * 12/19: notes/slides/examples for Program Verification: Hoare Logic available. | ||
Line 62: | Line 66: | ||
*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 88: | 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]]. | ||