1911 search results - page 244 / 383 » Program analysis for code duplication in logic programs |
139
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
166
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
184
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
252
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
153
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...