1911 search results - page 98 / 383 » Program analysis for code duplication in logic programs |
159
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
125
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
128
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
110
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: High density oligonucleotide tiling arrays are an effective and powerful platform for conducting unbiased genome-wide studies. The ab initio probe selection method emp...
131
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...