Strong typing of object-oriented languages revisited

Foundations of Object-Oriented Languages

📁 Foundations of Object-Oriented Languages: Types and Semantics

✍ Kim B. Bruce 📂 Library 📅 2002 🏛 The MIT Press 🌐 English

This is a useful introduction to the theory behind data types in object oriented (OO) languages. It starts at a very readable pace. The first section (about 100 pages) covers the basics of OO languages and OO features, and establishes a working vocabulary. For example, it introduces the very distinc

Foundations of Object-Oriented Languages

📁 Foundations of Object-Oriented Languages: Types and Semantics

✍ Kim B. Bruce 📂 Library 📅 2002 🏛 The MIT Press 🌐 English

A presentation of the formal underpinnings of object-oriented programming languages.

Theoretical Aspects of Object-Oriented P

📁 Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

✍ Carl A. Gunter, John C. Mitchell 📂 Library 📅 1994 🏛 The MIT Press 🌐 English

<P>Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen c

Theoretical aspects of object-oriented p

📁 Theoretical aspects of object-oriented programming: types, semantics, and language design

✍ Carl A. Gunter, John C. Mitchell (ed.) 📂 Library 📅 1994 🏛 The MIT Press 🌐 English

<P>Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can

Object-Oriented Type Systems

📁 Object-Oriented Type Systems

✍ Jens Palsberg, Michael I. Schwartzbach 📂 Library 📅 1994 🏛 Wiley 🌐 English

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 bindin

Models and Languages of Object-Oriented

📁 Models and Languages of Object-Oriented Databases

✍ Georg Lausen, Gottfried Vossen 📂 Library 📅 1997 🏛 Addison-Wesley 🌐 English

Brings together key developments in OO databases from areas such as semantic modelling, formal data models, language design issues, object algebra and rule-based query languages. Shows how these elements may interact within an object-oriented database system. Paper. DLC: Object-oriented database.