6960 search results - page 5 / 1392 » Continuity Analysis of Programs |
OOPSLA
2007
Springer
14 years 5 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
IEEEPACT
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
CSUR
1999
13 years 10 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...
ICFP
2000
ACM
14 years 2 months ago
2000
ACM
PPDP
2000
Springer
14 years 2 months ago
2000
Springer
