User Tools
courses:pl2012:main
Differences
This shows you the differences between two versions of the page.
|
courses:pl2012:main [2012/12/27 17:00] 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: {{courses:pl2012:hw10.pdf|HW#10}} due 2013/01/02. | ||
| * 12/26: notes/slides for Object-Oriented Programming available. | * 12/26: notes/slides for Object-Oriented Programming available. | ||
| Line 64: | 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 90: | 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]]. | - [[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]]. | ||
courses/pl2012/main.1356598830.txt.gz ยท Last modified: 2012/12/27 17:00 by tsay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
