1081 search results - page 25 / 217 » Type Inference of SELF |
91
Voted
TOPLAS
1998
15 years 3 months ago
1998
187
click to vote
ECOOP
1991
Springer
15 years 7 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
151
click to vote
PLDI
1994
ACM
15 years 7 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
147
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...