Type-Checking and Type-Inference for Object-Oriented Programming Languages (1989)
| Citations: | 35 - 2 self |
BibTeX
@TECHREPORT{Graver89type-checkingand,
author = {Justin Owen Graver},
title = {Type-Checking and Type-Inference for Object-Oriented Programming Languages},
institution = {},
year = {1989}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Type systems for object-oriented programming languages have been studied a great deal over the past few years. Since Smalltalk was one of the earliest object-oriented languages, it is not surprising that there have been several attempts to provide a type system for it. Unfortunately, none of the attempts have been completely successful. In particular, none of the proposed type systems are both type-safe and capable of type-checking most common Smalltalk programs. Smalltalk violates many of the assumptions on which most object-oriented type systems are based, and a successful type system for Smalltalk is necessarily different from those for other languages. We have designed a new type system for Smalltalk. The biggest difference between our type system and others is that most type systems for object-oriented programming languages equate classes with types and subclassing with subtyping. In our type system, types are based on classes (i.e. each class defines a type or a family of types) ...
Citations
No citations identified.
