FP
1991
13 years 10 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...
ECOOP
1991
Springer
13 years 10 months ago
1991
Springer
ECOOP
1991
Springer
13 years 10 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...
ECOOP
1991
Springer
13 years 10 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...
ECOOP
1991
Springer
13 years 10 months ago
1991
Springer
CTCS
1991
Springer
13 years 10 months ago
1991
Springer
COMPASS
1991
13 years 10 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
13 years 10 months ago
1994
ACM
ASPLOS
1991
ACM
13 years 10 months ago
1991
ACM
ASPLOS
1991
ACM
13 years 10 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...