Seminarium poświęcone będzie semantyce i systemom typow językow zorientowanych
obiektowo. Jego celem jest prezentacja fundamentalnych pojęć dotyczących
obiektowości (m.in.: self, dynamiczne wiązanie metod, klasy, dziedziczenie,
podtypowanie, kowariancja i kontrawariancja, specjalizacja metod) przy użyciu
modeli teoretycznych takich językow, opartych na rachunku lambda, wraz z
odniesieniem do istniejących językow zorientowanych obiektowo takich jak
Simula 67, C++, Smalltalk, Eiffel, Java, Ocaml i Scala.
Literatura:
1. A Theory of Objects. Martin Abadi and Luca Cardelli. Springer-Verlag, 1996.
2. Theoretical Aspects of Object-Oriented Programming: Types, Semantics and Language Design. Carl A. Gunter and John C. Mitchell. The MIT Press, 1993.
3. Foundations of Object-Oriented Languages: Types and Semantics. Kim Bruce. The MIT Press, 2002.
