317 search results - page 17 / 64 » Typing References by Effect Inference |
154
click to vote
PEPM
2000
ACM
15 years 9 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
144
click to vote
INFOCOM
2008
IEEE
16 years 9 days ago
2008
IEEE
Abstract—Inference of the routing topology and link performance from a node to a set of other nodes is an important component of network monitoring and application design. In thi...
169
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
173
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
161
click to vote
IUI
2010
ACM
16 years 2 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...