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) |
|---|---|---|---|---|
| 2005 Oct 06 | 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 | see 2007/2008 page |
| 2005 Oct 07 | Types (2nd Part) | From types to classes, inheritance, upcast, downcast, late binding and overloading | Micheal L. Scott, Programming Langueges Pragmatics, Chapter 10 | see 2007/2008 page |
| 2005 Oct 11 | 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 | see 2007/2008 page |
| 2005 Nov 15 | 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 | see 2007/2008 page |
@article{Backus78Programming,
author = {John Backus},
title = {Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs},
journal = {Commun. ACM},
volume = {21},
number = {8},
year = {1978},
issn = {0001-0782},
pages = {613--641},
publisher = {ACM Press},
address = {New York, NY, USA},
}