113
Voted
FP
1991
15 years 2 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
75
Voted
ECOOP
1991
Springer
15 years 2 months ago
1991
Springer
144
Voted
ECOOP
1991
Springer
15 years 2 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...
88
Voted
ECOOP
1991
Springer
15 years 2 months ago
1991
Springer
We have previously shown how the discovery of classes from objects can be automated, and how the resulting class organization can be e ciently optimized in the case where the opti...
67
Voted
ECOOP
1991
Springer
15 years 2 months ago
1991
Springer
90
Voted
CTCS
1991
Springer
15 years 2 months ago
1991
Springer
105
click to vote
COMPASS
1991
15 years 2 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
ASPLOS
1994
ACM
15 years 2 months ago
1994
ACM
69
Voted
ASPLOS
1991
ACM
15 years 2 months ago
1991
ACM
86
Voted
ASPLOS
1991
ACM
15 years 2 months ago
1991
ACM
Blocking is a well-known optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorith...