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


Normal view MARC view ISBD view

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

By: Palsberg, Jens.
Contributor(s): Schwartzbach, Michael I.
Material type: TextTextSeries: Wiley professional computing.Publisher: Chichester : John Wiley, c1994Description: viii, 180 p. : ill. ; 24 cm.ISBN: 9780471941286.Subject(s): Object-oriented programming (Computer science)DDC classification: 005.131
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.
Item type Current location Call number Status Date due Barcode Item holds
Books Books ISI Library, Kolkata
 
005.131 P182 (Browse shelf) 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 for this item.

Log in to your account 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


Visitor Counter