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: Antiquariat Armebooks, Frankfurt am Main, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 250 Seiten; Wiley - 1994 : Jens Palsberg / Michael I. Palsberg - gb. Gr. TA-LLAC-JBAT Sprache: Deutsch Gewicht in Gramm: 1. Seller Inventory # 406988
Buy Used
US$ 115.42
US$ 22.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Object-Oriented Type Systems
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Seller Inventory # BSM.19XF1
Seller Image
Object-Oriented Type Systems
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.047194128X.G