Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

OOPSLA
1991
Springer

favoriteEmaildiscussreport

125views Security Privacy» more OOPSLA 1991»

Object-Oriented Type Inference

13 years 8 months ago

Object-Oriented Type Inference

Download www.cs.ucla.edu

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 optimizing compiler. Types are ﬁnite 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 ﬁxed-point derivation.

Jens Palsberg, Michael I. Schwartzbach

Real-time Traffic

Conditional Type Constraints | Late Binding | OOPSLA 1991 | Security Privacy | Untyped Object-oriented Programs |

claim paper

Related Content

» Modular and ConstraintBased Information Flow Inference for an ObjectOriented Language

» Types and trace effects for object orientation

» Session Types for ObjectOriented Languages

» Coinductive Type Systems for ObjectOriented Languages

» Trace effects and object orientation

» ObjectOriented Mediator Queries to XML Data

» Functional ObjectOriented Programming with ObjectGofer

» Measurement and Quality in ObjectOriented Design

» Iterative Type Analysis and Extended Message Splitting Optimizing DynamicallyTyped ObjectO...

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	OOPSLA
Authors	Jens Palsberg, Michael I. Schwartzbach

Comments (0)