Foundations of Object-Oriented Languages | MIT Press | Datenbank | sack.de
Bruce

Foundations of Object-Oriented Languages


Types and Semantics

MIT Press





In recent years, object-oriented programming has emerged as the dominant
computer programming style, and object-oriented languages such as C++ and Java enjoy
wide use in academia and industry. This text explores the formal underpinnings of
object-oriented languages to help the reader understand the fundamental concepts of
these languages and the design decisions behind them.The text begins by analyzing
existing object-oriented languages, paying special attention to their type systems
and impediments to expressiveness. It then examines two key features: subtypes and
subclasses. After a brief introduction to the lambda calculus, it presents a
prototypical object-oriented language, SOOL, with a simple type system similar to
those of class-based object-oriented languages in common use. The text offers proof
that the type system is sound by showing that the semantics preserves typing
information. It concludes with a discussion of desirable features, such as
parametric polymorphism and a MyType construct, that are not yet included in most
statically typed object-oriented languages.
Bruce Foundations of Object-Oriented Languages jetzt bestellen!

Autoren/Hrsg.


Weitere Infos & Material


Bruce, Kim B.
Kim B. Bruce is Frederick Latimer Wells Professor of Computer Science at Williams
College.


Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.