Object-Oriented Type Systems (Wiley Professional Computing)

Palsberg Jens; Schwartzbach Michael, I.:

ISBN 10: 047194128X / ISBN 13: 9780471941286

Verlag: John Wiley & Sons Ltd., 1994

Beschreibung

Wiley - 1994 : Jens Palsberg / Michael I. Palsberg - gb. Gr. TA-LLAC-JBAT Sprache: Deutsch Gewicht in Gramm: 500.

Bestandsnummer des Verkäufers 347268

Bibliografische Details

• Titel: Object-Oriented Type Systems (Wiley Professional Computing)
• Verlag: John Wiley & Sons Ltd.
• Erscheinungsjahr: 1994
• Sprache: Deutsch
• ISBN-10: 047194128X
• ISBN-13: 9780471941286
• Einband: Gebundene Ausgabe
• Zustand: Sehr gut
• Gewicht: 500 Gramm
• Verkäuferkataloge:
  • Bücher

Über diesen Titel

Inhaltsangabe

Type systems are required to ensure the 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 aims to provide 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.