Gratis verzending. Voor 15.00 besteld? Vandaag verzonden!

BoekenBalie maakt van tweedehands jouw eerste keuze. Met een Trustscore van 4,8 (excellent) en 30 dagen retour garantie maken we dat iedere dag waar.

Bestel direct op onze website!

Titel: Object-Oriented Type Systems
Auteur: Jens Palsberg
ISBN: 9780471941286
Conditie: Beetje gebruikt

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.

Waarom je bij BoekenBalie moet zijn voor al je tweedehands boeken:

• Bestel je voor 15:00 uur? Dan vliegt het dezelfde dag nog jouw kant op!
• Meer dan 400.000 tweedehands boeken om uit te kiezen
• We checken alle boeken eigenhandig
• Vanaf 40 euro of bij 4 boeken is de verzending op onze rekening
• 30 dagen retourgarantie