31686 search results - page 372 / 6338 » Resource typing in Guru |
199
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
179
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
134
click to vote
OOPSLA
1997
Springer
15 years 9 months ago
1997
Springer
A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyp...
227
click to vote
ECOOP
1991
Springer
15 years 9 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...
121
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presented an overview of Chinese bi-character words' morphological types, and proposed a set of features for machine learning approaches to predict these types bas...