Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Object-oriented type systems / Jens Palsberg and Michael I. Schwartzbach.

By: Contributor(s): Material type: TextTextSeries: Wiley professional computingPublication details: Chichester : John Wiley, c1994.Description: viii, 180 p. : ill. ; 24 cmISBN:
  • 9780471941286
Subject(s): DDC classification:
  • 005.131 23 P182
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Total holds: 0

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.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in