Search Results

Documents authored by Dandois, Celine


Document
Program analysis for code duplication in logic programs

Authors: Celine Dandois

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)


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.

Cite as

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)


Copy BibTex To Clipboard

@InProceedings{dandois:LIPIcs.ICLP.2010.241,
  author =	{Dandois, Celine},
  title =	{{Program analysis for code duplication in logic programs}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{241--247},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.241},
  URN =		{urn:nbn:de:0030-drops-26033},
  doi =		{10.4230/LIPIcs.ICLP.2010.241},
  annote =	{Keywords: Logic programming, program comprehension, static program analysis, code duplication, code clone, software engineering}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail