Object Oriented Type Systems
Download Object Oriented Type Systems PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Object Oriented Type Systems book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Object-Oriented Type Systems
The authors review the type systems on 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 all of these languages.
The Development of Type Systems for Object-Oriented Languages
Author: Stanford University. Computer Science Department
language: en
Publisher:
Release Date: 1996
This paper, which is partly tutorial in nature, summarizes some basic research goals in the study and development of typed object-oriented programming languages. These include both immediate repairs to problems with existing languages and the long-term development of more flexible and expressive, yet type-safe, approaches to program organization and design. The technical part of the paper is a summary and comparison of three object models from the literature. We conclude by discussing approaches to selected research problems, including changes in the type of a method from super class to sub class and the use of types that give information about the implementations as well as the interfaces of objects. Such implementation types seem essential for adequate typing of binary operations on objects, for example.