Program analysis for code duplication in logic programs

Author Celine Dandois

Thumbnail PDF


  • Filesize: 323 kB
  • 7 pages

Document Identifiers

Author Details

Celine Dandois

Cite AsGet BibTex

Celine Dandois. Program analysis for code duplication in logic programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 241-247, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


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.
  • Logic programming
  • program comprehension
  • static program analysis
  • code duplication
  • code clone
  • software engineering


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail