12272 search results - page 221 / 2455 » Experimental program analysis |
154
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
136
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
168
click to vote
WCET
2008
15 years 8 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
174
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
193
click to vote
JSS
2006
15 years 6 months ago
2006
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in comp...