2290 search results - page 78 / 458 » Extensible Protected Types |
107
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
120
click to vote
WWIC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
109
click to vote
PAKDD
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. Integrative mining of heterogeneous data is one of the major challenges for data mining in the next decade. We address the problem of integrative clustering of data with ...
141
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
107
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...