1911 search results - page 256 / 383 » Program analysis for code duplication in logic programs |
131
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
124
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
146
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
109
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
147
Voted
IV
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...