Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance (1993)

Cached

Download Links

by Ole Agesen , Jens Palsberg , Michael I. Schwartzbach
Venue:In ECOOP '93 Conference Proceedings
Citations:75 - 12 self

Documents Related by Co-Citation

209 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
139 Optimizing dynamically-dispatched calls with run-time type feedback – Urs Hölzle, David Ungar - 1994
77 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
116 Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs – Craig Chambers, David Ungar - 1990
164 Precise Concrete Type Inference for Object-Oriented Languages – John Plevyak , Andrew A. Chien - 1994
520 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
150 An Efficient Implementation of Self, a Dynamically-Typed Object-Oriented Language Based on Prototypes – Craig Chambers, David Ungar, Elgin Lee - 1991
214 Efficient implementation of the smalltalk-80 system – L P Deutsch, A M Schiffman - 1984
117 Making Pure Object-Oriented Languages Practical – Craig Chambers, David Ungar - 1991
120 The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages – Craig Chambers, John Hennessy, Mark Linton - 1992
1208 SmallTalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
109 The Cecil Language, Specification and Rationale – Craig Chambers - 1993
185 Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language – Craig Chambers, David Ungar - 1989
105 Optimizing dynamically-typed object-oriented languages with polymorphic inline caches – Craig Chambers, David Ungar, Elgin Lee - 1991
267 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
61 A Type System for Smalltalk – Justin O. Graver, Ralph E. Johnson - 1990
96 The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism – Ole Agesen - 1995
49 TS: An optimizing compiler for Smalltalk – R Johnson - 1988
82 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm – Michael Sannella - 1993