1911 search results - page 91 / 383 » Program analysis for code duplication in logic programs |
141
click to vote
ENTCS
2006
15 years 2 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
114
click to vote
OOPSLA
2010
Springer
15 years 22 days ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
106
click to vote
JCC
2011
14 years 9 months ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
115
click to vote
QSIC
2006
IEEE
15 years 8 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...