317 search results - page 17 / 64 » Typing References by Effect Inference |
PEPM
2000
ACM
15 years 1 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...
65
Voted
INFOCOM
2008
IEEE
15 years 4 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...
PLDI
2006
ACM
15 years 3 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 ...
PLDI
2004
ACM
15 years 3 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...
80
Voted
IUI
2010
ACM
15 years 6 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...