2947 search results - page 107 / 590 » Analyzing Program Analyses |
142
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
131
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
137
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
128
click to vote
IWPC
2008
IEEE
15 years 11 months ago
2008
IEEE
Software maintenance tasks typically involve an important amount of program investigation effort on the part of software developers. To what extent can we benefit from prior prog...
120
click to vote
ESEC
1999
Springer
15 years 8 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...