4743 search results - page 661 / 949 » The PlusCal Algorithm Language |
161
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
163
click to vote
ESOP
2007
Springer
16 years 23 days 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...
188
click to vote
IWMM
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
169
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
141
click to vote
SIGIR
2006
ACM
16 years 16 days ago
2006
ACM
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...