Type checking and type inference for object-oriented programming languages

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Graver, Justin Owen

Contributors dc:contributor

• Johnson, Ralph E.

• Computer Science

Statement dc:rights

• Copyright 1989 Graver, Justin Owen

Language dc:language

eng

Identifier

AAI9010868
(UMI)AAI9010868

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/22894