Artículos relacionados a Object-oriented Type Systems (Wiley Professional Computing)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Object-oriented Type Systems (Wiley Professional Computing)
Imagen de archivo
Objectâ"Oriented Type Systems (Wiley Professional Computing)
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: 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. Nº de ref. del artículo: GOR007106092
Cantidad disponible: 1 disponibles
Imagen de archivo
Object-Oriented Type Systems (Wiley Professional Computing)
Publicado por
John Wiley & Sons Ltd., 1994
ISBN 10: 047194128X
ISBN 13: 9780471941286
Antiguo o usado
Gebundene Ausgabe
Librería: Antiquariat Armebooks, Frankfurt am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebundene Ausgabe. Condición: Sehr gut. Wiley - 1994 : Jens Palsberg / Michael I. Palsberg - gb. Gr. TA-LLAC-JBAT Sprache: Deutsch Gewicht in Gramm: 500. Nº de ref. del artículo: 347268
Cantidad disponible: 1 disponibles
Imagen de archivo
Object-Oriented Type Systems (Wiley Professional Computing)
Publicado por
John Wiley & Sons Ltd., 1994
ISBN 10: 047194128X
ISBN 13: 9780471941286
Antiguo o usado
Tapa blanda
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: Z1-H-007-01777
Cantidad disponible: 2 disponibles