Pour en savoir plus

Deux livres de référence sur les modèles à objets: [AC97] pour le modèle à enregistrement, et [Cas97] pour le modèle à surcharge. Le premier est très technique. Le second comporte à la fois des chapitres très pointus, et d'autres chapitres trè accessibles. Un autre livre, assez théorique [GM94] contient quelques résultats de références tel que le chapitre ``Inheritance is Not subtyping'' (d'autres sont un peu dépassés).

Un livre très accessible, mais présentant une approche globale, pas très modulaire et peu répandue [PS94]. On pourra aussi regarder les chapitres concernés de [Set89] qui replace la programmation avec objets par rapport à d'autres concepts de programmation.

Quelques livres de référence sur les principaux langages à objects: Smalltalk [GR89], Eiffel [Mey94], Java [GJS96].

Il y a de nombreux livres sur les techniques de programmation avec objets, à lire avec beaucoup d'esprit critique: ce sont souvent de très gros livres, où l'on passent beaucoup de temps à expliquer des trivialités ou à causer très informellement sur la ``méthodologie objet''.

References

[AC97]
Martín Abadi and Luca Cardelli. A theory of objects. Springer, 1997. ISBN 0-387-94775-2.

[Cas97]
G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science Series. Birkhauser, Boston, 1997.

[GJS96]
James Gosling, Bill Joy, and Guy L. Steele. The JAVA language specification. The JAVA series. Addison-Wesley, 1996.

[GM94]
Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics , and Language Design. Foundation of Computing Series. MIT Press, 1994.

[GR89]
Adele Goldberg and David Robson. SMALLTALK-80: the language. Addison-Wesley series in computer science. Addison-Wesley, 1989.

[Mey94]
Bertrand Meyer. EIFFEL, le langage. InterEditions, 1994. Traduction de ``Eiffel : the language'', Prentice-Hall, 1992.

[PS94]
Jens Palsberg and Michael I. Schwartzbach. Object-oriented type systems. John Wiley & Sons, 1994.

[Set89]
Ravi Sethi. Programming Languages: Concepts and Constructs. Addison-Wesley, 1989.
This document was translated from LATEX by HEVEA.