1911 search results - page 72 / 383 » Program analysis for code duplication in logic programs |
ICCL
1992
IEEE
15 years 6 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
102
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
125
click to vote
SAIG
2000
Springer
15 years 5 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
141
click to vote
CASCON
2004
15 years 3 months ago
2004
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...
109
click to vote
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...