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

Active Bibliography

2 Analysis of Objects with Dynamic and Multiple Inheritance – Ole Agesen, Jens Palsberg, Michael I. Schwartzbach - 1995
45 Fast and Effective Optimization of Statically Typed Object-Oriented Languages – David Francis Bacon - 1997
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
102 The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism – Ole Agesen - 1995
52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
43 Constraint-Based Type Inference and Parametric Polymorphism – Ole Agesen - 1994
4 Iterative Flow Analysis – John Plevyak, Andrew A. Chien - 1995
45 Whole-program optimization of object-oriented languages – Craig Chambers, Jeffrey Dean, David Grove - 1996
82 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
7 Dynamic vs. static optimization techniques for object-oriented languages – Urs Hölzle, Ole Agesen - 1996
31 Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages – Ole Agesen - 1995
325 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
3 From Types to Dataflow: Code Analysis for an Object-Oriented Language – Andrew J. Barnard, Andrew J. Barnard - 1993
57 Closure Analysis in Constraint Form – Jens Palsberg - 1995
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
115 The Cecil Language, Specification and Rationale – Craig Chambers - 1993
115 Optimizing dynamically-typed object-oriented languages with polymorphic inline caches – Craig Chambers, David Ungar, Elgin Lee - 1991
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991