Program analysis for code duplication in logic programs

Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible seed of inconvenience in all phases of the program lifecycle, from development to maintenance. The core of this research is the elaboration of a theory of semantical duplication, and of an automated program analysis capable of detecting such duplication and which could steer, to some extent, automatic refactoring of program code.

• Type: Conference
• Year: 2010
• Where: ICLP
• Authors: Celine Dandois
• Keywords: Automated Reasoning, Code Duplication, ICLP 2010, Particular Semantical Duplication, Semantical Duplication