@inbook {IOPORT.06033351,
    author       = {Dandois, C\'eline},
    title        = {Program analysis for code duplication in logic programs.},
    year         = {2010},
    booktitle    = {Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16--19, 2010, Edinburgh, Scotland, UK},
    isbn         = {978-3-939897-17-0},
    pages        = {241-247, electronic only},
    publisher    = {Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik},
    doi          = {10.4230/LIPIcs.ICLP.2010.241},
    abstract     = {Summary: 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.},
    identifier   = {06033351},
}