2111 search results - page 180 / 423 » How to Program Pervasive Systems |
201
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
114
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
126
Voted
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
119
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Understanding a software system at source-code level requires understanding the different concerns that it addresses, which in turn requires a way to identify these conce...