4911 search results - page 262 / 983 » Tree dependence analysis |
117
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
A vast literature has been published on Statistical Static Timing Analysis (SSTA), its motivations, its different implementations and their runtime/accuracy trade-offs. However, v...
126
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
110
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
175
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
132
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...