352 search results - page 18 / 71 » Evaluating the imprecision of static analysis |
97
Voted
PLDI
1999
ACM
15 years 6 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
119
click to vote
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
203
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
113
Voted
CSUR
1999
15 years 1 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Lymphangioleiomyomatosis (LAM) is a multisystem disorder associated with proliferation of smooth muscle-like cells, which leads to destruction of lung parenchyma. Subjective gradi...