Items related to Object-Oriented Type Systems
Synopsis
Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. 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.
"synopsis" may belong to another edition of this title.
From the Publisher
A detailed presentation of a specific object-oriented language which offers a framework for evaluating the language as well as a source of information about other languages. Surveys problems faced by designers of an object-oriented type system and reviews existing solutions. Defines an idealized language--BOPL (Basic Object Programming Language)--that encompasses common features of SIMULA, SMALLTALK, C++ and EIFFEL. Includes a workbench where algorithms such as type checking and type inference are implemented. Each chapter contains several exercises and suggestions for further readings.
"About this title" may belong to another edition of this title.
Search results for Object-Oriented Type Systems
Stock Image
Objectâ"Oriented Type Systems (Wiley Professional Computing)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007106092
Quantity: 1 available
Stock Image
Object-Oriented Type Systems (Wiley Professional Computing)
Published by
John Wiley & Sons Ltd., 1994
ISBN 10: 047194128X
ISBN 13: 9780471941286
Used
Gebundene Ausgabe
Seller: Antiquariat Armebooks, Frankfurt am Main, Germany
Seller rating 5 out of 5 stars
Gebundene Ausgabe. Condition: Sehr gut. Wiley - 1994 : Jens Palsberg / Michael I. Palsberg - gb. Gr. TA-LLAC-JBAT Sprache: Deutsch Gewicht in Gramm: 500. Seller Inventory # 347268
Quantity: 1 available
Stock Image
Object-Oriented Type Systems (Wiley Professional Computing)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-H-007-01777
Quantity: 2 available