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

Documents Related by Co-Citation

221 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
144 Optimizing dynamically-dispatched calls with run-time type feedback – U HÖLZLE, D UNGAR - 1994
81 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
118 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
171 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
1265 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
115 The Cecil Language, Specification and Rationale – Craig Chambers - 1993
191 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
297 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
63 A Type System for Smalltalk – Justin O. Graver, Ralph E. Johnson - 1990
101 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