1911 search results - page 221 / 383 » Program analysis for code duplication in logic programs |
134
click to vote
IWPC
2000
IEEE
15 years 9 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
251
click to vote
LISP
2006
15 years 5 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
154
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
143
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
158
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...