1911 search results - page 83 / 383 » Program analysis for code duplication in logic programs |
112
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
123
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
125
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
107
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
143
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...