785 search results - page 49 / 157 » Static Analysis of Android Programs |
108
click to vote
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
106
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
113
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
148
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
126
click to vote
AGP
1995
IEEE
15 years 5 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...