589 search results - page 88 / 118 » Io: a small programming language |
72
Voted
CC
2007
Springer
15 years 3 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs significantly the state-of-the-art algorithm for this task [20]. Speci...
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Refactoring is a hot and controversial issue. Supporters claim that it helps increasing the quality of the code, making it easier to understand, modify and maintain. Moreover, the...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
IFIP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...