Object-oriented type systems / Jens Palsberg and Michael I. Schwartzbach.
Material type:
- 9780471941286
- 005.131 23 P182
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 005.131 P182 (Browse shelf(Opens below)) | Available | C26407 |
Includes bibliographical references (p. [171-177) and index.
1. Introduction--
2. Object-oriented languages and type systems--
3. The Bopl language--
4. Type checking--
5. Type inference--
6. Inheritance--
7. Genericity--
References--
Index.
This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present a type system that generalizes and explains them. The theory is based on an idealized object–oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object–oriented type systems. All algorithms are implemented in a freely available workbench, adding enormous practical value. Numerous exercises and a clear writing style will enhance its appeal to the student.
There are no comments on this title.