Formal Semantics of Type and Module Systems
326.517, SS 2000 (Start: March 9)
Thursday 10:30-12:00, Hagenberg
The course has been shifted to Hagenberg, 10:30-12:00. Please
contact me, if
this is a problem to you!
In this course, we discuss and formally model the type and module systems of
modern programming languages.
- We present a formalization of abstract data types, modules, and
polymorphism as they can be found in languages such as Modula-2, Ada, or SML
(also with some relevance to C++ templates).
- We present the theory of objects introduced by Abadi and
Cardelli to model the type systems of object-oriented languages such as Java,
C++, or Eiffel, i.e., classes, subtyping, inheritance, etc.
- Luca Cardelli and Peter Wegner
On Understanding Types, Data Abstraction, and Polymorphism,
Computing Surveys, Volume 17, Number 4, pp. 471-522, December 1985.
- Luca Cardelli
pages 2208-2236. CRC Press, 1997.
- Abadi, Martin and Cardelli, Luca
A Theory of Objects, Springer Monographs in Computer Science, 1996.
- Martin Abadi
Baby Modula-3 and a Theory of Objects,
Journal of Functional Programming, 4(2):249-283, April 1994.
- On Understanding Types, Data Abstraction, and
A presentation of the landmark paper by Cardelli and Wegner.
Maintainer: Wolfgang Schreiner
Last Modification: July 19, 2000