1953 search results - page 194 / 391 » codes 2010 |
127
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—This paper presents an approach to automatically distinguish the copied clone from the original in a pair of clones. It matches the line-by-line version information of a clone t...
166
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—Bugs in Debian differ from regular software bugs. They are usually associated with packages, instead of software modules. They are caused and fixed by source package uploads in...
165
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The availability of commodity multi-core and multi-processor machinesandtheinherentparallelisminconstraintprogrammingsearchoffer significant opportunities for constraint programmi...
162
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
161
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...