Verwandte Artikel zu Object-oriented Type Systems (Wiley Professional Computing)
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Object-oriented Type Systems (Wiley Professional Computing)
Beispielbild für diese ISBN
Object-Oriented Type Systems
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G047194128XI4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Objectâ"Oriented Type Systems (Wiley Professional Computing)
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: 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. Artikel-Nr. GOR007106092
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Object-Oriented Type Systems (Wiley Professional Computing)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. Z1-H-007-01777
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Object-Oriented Type Systems (Wiley Professional Computing)
Verlag:
John Wiley & Sons Ltd., 1994
ISBN 10: 047194128X
ISBN 13: 9780471941286
Gebraucht
Gebundene Ausgabe
Anbieter: Antiquariat Armebooks, Frankfurt am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebundene Ausgabe. Zustand: Sehr gut. Wiley - 1994 : Jens Palsberg / Michael I. Palsberg - gb. Gr. TA-LLAC-JBAT Sprache: Deutsch Gewicht in Gramm: 500. Artikel-Nr. 347268
Anzahl: 1 verfügbar