The class is lead by Professor Giuseppe Attardi. General info about the course can be found at this address.
| Date | Title | Description | Reference(s) | File(s) |
|---|---|---|---|---|
| Oct. 11, 2007 | Types (1st Part) | General notions about types, type systems and type checking. Types in programming languages. Abstract data types. | Micheal L. Scott, Programming Langueges Pragmatics, Chapter 7 | Slides Handout Handout(6 slides/page) |
| Oct. 15, 2007 | Types (2nd Part) | From types to classes, inheritance, upcast, downcast, late binding and overloading | Micheal L. Scott, Programming Langueges Pragmatics, Chapter 10 | Slides Handout Handout(6 slides/page) |
| Oct. 16, 2007 | Object Thinking | How to stop thinking like computers and start thinking like objects. OO terms to deal with. Techniques to use OO. | Dave West, Object Thinking, Chapters 1-5, 9 | Slides Handout Handout(6 slides/page) |
| TBA | C++ Template Meta Programming | A brief introduction to C++ Template Meta Programming: how it works and what are benefits of using it. | Krzysztof Czarnecki and Ulrich Eisenecker, Generative Programming: Methods, Tools, and Applications, Chapter 10 | yet to be done |