Object-Oriented Type Inference (1991)
Cached
Download Links
by
Jens Palsberg
,
Michael I. Schwartzbach
| Venue: | OOPSLA'91 |
| Citations: | 209 - 18 self |
BibTeX
@MISC{Palsberg91object-orientedtype,
author = {Jens Palsberg and Michael I. Schwartzbach},
title = { Object-Oriented Type Inference},
year = {1991}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an op-timizing compiler. Types are finite sets of classes and subtyping is set inclusion. Using a trace graph, our algorithm constructs a set of conditional type constraints and computes the least solution by least fixed-point derivation.
