317 search results - page 17 / 64 » Typing References by Effect Inference |
105
Voted
PEPM
2000
ACM
15 years 5 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...
INFOCOM
2008
IEEE
15 years 8 months 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...
125
click to vote
PLDI
2006
ACM
15 years 7 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 ...
121
Voted
PLDI
2004
ACM
15 years 7 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...
112
Voted
IUI
2010
ACM
15 years 10 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...