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:79 - 12 self

Documents Related by Co-Citation

222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
146 Optimizing dynamically-dispatched calls with run-time type feedback – Urs Hijlzle, David Ungar - 1994
82 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
119 Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs – Craig Chambers, David Ungar - 1990
157 An Efficient Implementation of Self, a Dynamically-Typed Object-Oriented Language Based on Prototypes – Craig Chambers, David Ungar, Elgin Lee - 1991
172 Precise Concrete Type Inference for Object-Oriented Languages – John Plevyak , Andrew A. Chien - 1994
552 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
224 E cient implementation of the Smalltalk-80 system – L Peter Deutsch, A M Schi man - 1984
122 Making Pure Object-Oriented Languages Practical – Craig Chambers, David Ungar - 1991
127 The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages – Craig Chambers, John Hennessy, Mark Linton - 1992
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
115 The Cecil Language, Specification and Rationale – Craig Chambers - 1993
192 Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language – Craig Chambers, David Ungar - 1989
115 Optimizing dynamically-typed object-oriented languages with polymorphic inline caches – Craig Chambers, David Ungar, Elgin Lee - 1991
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
63 A Type System for Smalltalk – Justin O. Graver, Ralph E. Johnson - 1990
102 The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism – Ole Agesen - 1995
52 Ts: an optimizing compiler for smalltalk – R E Johnson, J O Graver, L W Zurawski - 1988
83 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm – Michael Sannella - 1993